SQLite format 3@ - llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info qqC |$ wI Comparison_Sort_Lower_Bound:threads=2elapsed=7.595cpu=13.080gc=0.528factor=1.727zXZִF! 55]ŗXf1-/6vRZڕ/0*]=DU2+8Q}89' pqW!IQE֮QC|^Oo2S@kkL?$6yLmŒP49+*E};Qteh/rtA- ]9tw02-던rJSv}1y4^_8~r+:(xO% ]Ku3B; V$ݮAF%_98hѪԵ4haC ^g mwHU$isPS`o}'6VFIt@U-0y _yHVLfGzڐv3/ր0u؃x[ tU&X!9^ {wyI(\`Kt_M6(ҝ?g Hm C Comparison_Sort_Lower_BoundJfMe }^l#%,)2ʸ8ju15=@g>U?KCx{6I 2$YVk$?rV/2*gL1']ᐽHv} 58!WN\UŻ`Tz-06NL$ocLΥܜX=Slp mj}n43.FF,"@,RSR0~"x>|25{~9(T{B;J{k8<03} [!C=J-55xBbh(q9 側/2,hm:< .C:Ĩfg:]iAݣrlQ탈od(eD^ؗ㚜Ty t<No0Yq3sc塝ǧ|D|֣9Er)A2t`qۦZ8@:љ *pVc/.>~Zj|u>nM_jT:M)q/RKf£m EkPϱgYZ7zXZִF! ,I]ŗXi%΅-[v,_]iL;u<'{@ gZJj,[Ѱ[? 㺚8bpZI0 rڢXHQb 7dDhǗ*fԪT/oCc\"P wxOir+! 6o :0[0(v.ŲwJ !7C(cxZ>rDZ9tQͼ>U0n 3}]gǚ:ʈn;(dž*` #iSr57Vg@SYZᘦIm:Wݔ,Yě%b?9Q(SMȑjtG\Aw"ik˖QZpAeg]H>u8t J h-!ΆyӒux>\|d;;ֳn NY\R;{ݭ89h 2Cq"6 1bȚ/h#̘)$dek>Ѣf-miF1c+8?߭#--xH>!U탳 poaD@9|g'P"*e"ܮQVbϣp)Ad`+gEE^!e'XZEnc??ԪCԐ[r1ԧd]oE]TwhK* b?n Cǖ4./ thwî.EKſ-l;R;%韟 a{lJBvFN/JWfZ3t]ǩr(wYv?av'E}EѝmX +:N9A=FY,gYZ001c942e96601ec3cafb3353318b24d63d21ad27 437df7b3387811bbd122c72d851c069f13a3ce99 4eefe214acc9f42eaa94b978559c9f400baa288a 7d5e5ded6b7f50c67e0dc6b4e7f533ae8afede4d 7ffc5ba9164a5135c8a774215c31f31768f1b221 b1ef7a3ec85404c96c4b02989c93710eb0f9d36380f4c0c8eb04f92fa9b72ba73b988fd158f20be0 2e0269c995c52ae68d15e9236e33080611f663f4 ab8b0f5e11437cc3b3ba93009ad67ac171c6a59c bb2bb54135ed42cbf9b16f494e9081c8660de074 d0588517c8f6cbe01daa7d05f7b6fd5a31064a65 ce40a574e7f863c3c93eb865ad6e1dff930a9d4b d82964badec0f83c453fe39bc6e6a6526cf6dfc7