SQLite format 3@ .  YYQ77Atableisabelle_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, "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  t5l // HOL-Record_Benchmark:threads=6elapsed=103.944cpu=176.468gc=8.512factor=1.707zXZִF! ]ŗXf1-ĚEM@ٚ|3#fzY$!hftRY(za{>-m!'5iN0d@cA❩D=0e(21L0z`th > s$bRv$Gȓwƫg4ϼ~oLs ׇk&~:K :{R 0Y?qg7RL]{iG&UرgYZ7zXZִF! (]ŗXi%l_MVNBp*]کË?wEL@0TXvR$_񓁤؅t_')hF2~^è!d $X=/SN4nמLYi%?I(IwLߨF nlDXy𤙖4L5aY؊-Ҁm%RtpߐXМm@swj;KG'pM]=a ܋2c̢QňSQYL c V\9M^MvݔHpgM c1,d|dOLՂzM7ZKlKq&gY,|fSjGr3C434H?ou uts꡴| =nhFLĺXޫb:t82_/`3Hlf}FP! 59RXl>8lzWׁYn/\yZ܌Y_1̛Q^G;b`ƻ)}]n9`x(K}NbJ*QdU#M$=FIch(+K6 2Mw#M$+"-lZ3dY.i2ݗh$DoIe{5Ö-.'ڷ߽H%9:S?n"B.j[6(u ]ѧV^5FE]aZ7T>CIKod<~뒪'!l5KsB Hiay]]ip4|Dǿ9W4Pci^T`{X?>ڛ%H,E8U)%\2i%46E#5WP:I_0WK;j-~7*hRN >Vtf?+ɑ싥@r1'>x` D Ǒ E9/I8z_3<0-, 7i2 2rn*1q['ӈ AP͠l^rr#>k荨:_\Š:i2a*~'2_:gml#YK˘=&gNj23=%:wB\7+Ĕ\ wlE&®>`HGK+6r< {bOgӻQ!PKzzaUeĥ@~ef4-t{x&qHT-ȼgߒAݔܺe :QtI7"2&.f!2i\SpBW[FGT9I_A9 ]^cE(Aatt i}3_|Hܶ ,6JzG`=f&PVz~Wny:'*nq$w^Pzg!mKSo4I85u-iFU~CugKW R66)YsJ"!X!ӺVY@ŕdd[mFL9æ*5t<5aņXb|#M. ?|~_2`w ia>Ֆn|g A W~F>^t]XH^ sϼRi;8I+ I b9fG;Ǹ7˫\y !(ޤ 8nڀi$*,)X'1݉MMIbBb$N;*Y0PᾁJ4oG h {/FLZq2p{歞m™/KFVh~xSeO@ܾ^DaoeհZMiDS|u?2&1~f;oFq[.Aū{2xmZp|prfl涐2 L {Lv)m."] ǖ cXw8.,ߕa!*r =ZOG|pIW!YWz۞̆GǵG񯎀 0d-[N|hH.9:f-4qMNƒxmH> 9ȏ"o"~̬4TR?z~[7[)iZd]7Gb/jbU{PN'WY\4&pn%@tl 2BXg~2_)Ԓ0xJ4I~k}Jdeu,`nkST;E3v'*e5h-2'&h1?aG0x\IGؠm~ʊkvKfCkf\Db8xT0wZp]