SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" 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  9  ]/ PSemigroupsConvolution:threads=2elapsed=23.026cpu=43.436gc=1.844factor=1.897zXZִF! (_{]ŗXf1-/6vR[2| Mꖯ)KqPfڪűJ:7gaȊ^YJ39sbZS#b2q?r'!zܵx1: 7(|Ehi/&Rccރ?ҦDWGS_ZχwL˥}vn6~=lo.'PΕg0\Ԋ+v5`sF*$ ;fk`ÖusN$ Ē @4W, #iD;Cl6Ӿ QL59u (B( n( "vL>^%[WrYxgަj2G _,`6}ʎvh=Gn^ŮsET5}=i.1փIC/z\)>OWO^R* bXXÛ3շ{9_̃A8dJ7|c{ 3=(+N &pVw5߿G=4=["1Aށˍ8Y^[XLRTR[C)4>HadE.l Y2ppVٓmA̟=maKQ3:GК7!4qEZ jPT"c<9|3a8ёY ƀ sCI{,Ô[C~N33Yj 3P5PdbmR:k) nm/E{h("kd s:Ϫs@OQSZ؜Rw BEdonT"",t1f,Bc`J|=/QیQPA˱gYZ7zXZִF! 7]ŗXiɟ\?^3 40)2XՇNIC& PU5e\PR;,qYcS_&ߝ`T3 sœr}Ҋ4lp-4IlVMuh'ocѰ܁nʨeMUjׂX Ґ^x~T͡<*k[y`gYZ7zXZִF! u;]ŗXi%9#qq5&u·fخՔ G9~hKp*LMYsrav`.?8Ͳ rr~`Zl#gP20b6 OtM?o=2lHvqcMc~U5Cހ7PRP̽f8-Q;Tl}:ps6ΐ{lPU.D#;ʄ/Թ'$ K}aDKjcgô* ѾJU%r]4+Objo#WlG`TVRf~Lv[.( ҈.o!0Z]ܸǘXJʠmUNAo#2BW8||9`ZK@>M?CmmAψ2kv1ZI e0J1 f6꘻PݗRG9TcɌ*QC=Ņu% _b6}:"Bd297 9q z+RN' F0φ+w0h6A¥bl>i2]R$Bzz5v7Mi7ꞩ5hoQbm?%+6o(a +kST7N_,!<J[FްdX}&'ƫS<6z4YDg\%W~E=,A$E &pdx :6,@0]GssZ98 x1djdG:_\S8GQz6ˬ{=/ Y5E#F:6b}KC}5뤡(P'&dɇx]9e>1ˆ MZi38*d,|Ycj5@ֆMX 8(Ґ,x:J{jUm=xF:'yɝ_0y6FmϺ ׁt2X@M\rqY$Z6tBe] =ҍX[Kr^Q@֟3_CK 4r2yuv.omwnp ^cJqD\X7G:zZ[k [0tm^mԊ H#QdwP/9Qܞii$s훔RQͤ-Jο DLgZX%xRJ$Ml`2k@-bYxyewPקGO5Цbć^\fŒ"? 'Dv'!\m*FTrpj9\B1Z< (S|+koڑAVJ}Z2@D/n|B7]zE0 >E+Zk}~=^ xol9|و'X;OpO.ѝbJ'B"~g+ua2~0l?*x