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 - D$ ]S]Relation_Algebra:threads=2elapsed=25.704cpu=47.224gc=2.064factor=1.847zXZִF! P]ŗXf1-/6vR[O9xFuIˍŁ]"*iFYځ_ci;>vbQFn y`Ыh0q@B^ G" X| " N.?cMlY-?6tTX-kB߶ depz$2-¶8Xh *z%X!QG!js$#` |Pwgj|h=Z~BHBj3`\0~aS`Ils'AR;hG 1UࣇQ\FWvOQ%2GHj|Hg%#WmIbWi/d*7%}C4ӘzCf7 y.˕T@VAZEþx"ݚ[){N{ (Lqlq[V@dQSu}R6/{gnJB:V HIj(q4l$x5};+N?!ԥARؿy9&'xRQyc~e~{9Wr3$PBL描d ni#S4d<= SxEKCvʷQd~gYZ7zXZִF! ]ŗXiɟi-!%h/8mce{L%քO8Hb0@"i;tD,a>dU;#GܭJf[ul!%KLĪUX+QƁ(k! \rI(ߓfSʁfL -RF% ]wvU<;[?^u3I-:8j#lN )sݗJgYZ7zXZִF!  ]ŗXi%9#H#$poV`^18/|);%6QCdp jMZ"ɯ8kz5g+/1`J3Kx.NBiZsfxp^X{^9W( %oo3,qZ%"KbZ-&|Ь=lvQ$bսRQLѳ- N#Oě+ O^p vq҇Qa }t'(> qiBLi-V4$7nX3jlePSȁ[BXm8e+Rd99Qe=i2͔+!Z3pGT`)j5OHRvugAĢ_ akq^]'SݻBcs]A@A /,/ bD?_Qv]$oR gvG m5x-=xXn<+NrҷkY޻ԱŽ2=OVYr;N@Éؗ#i8@pq5j}~I˗1-~^l-7"$[hxֈ#h>Ur4=)$Y@ O4 8kM&\D(\)y 1 TGȏaA\ױéR!ЂAv=kW*'0~?bq^22=S1A8PAlވf'AgQ3M o돹Jsx=AJJ`7í `G(KtfV ,EϠBugTfSx¿ѕ8 ۰7Lr }mM71")z1g19v"GBA8 TbYIyD"Tv.Bmg^x%ue74s.FB Q53prٕUDfؤ-{YOM`8$Dok-{okD Wl~vZL&!crI2XZRgs~8?up6C>2 txr1Kϧ[U_.qɧwbm<-5v,YD  WF^(~+6L 8HI:.pX7i]̋&e5'ͦ7[m n@p u+y&([@)^E^=Vk,N_bV r ) `pHk8ǧ5 L>t.^f@c-IȒGci$A?.]wG`8+Ffڼ%=>yU| A5boC`r!ͱpK)ŧsf <ճ1x ݚ5緿{5$y~٘L1F?C#km4ky7իu((xLҬ+Cȵ՝8Az G<3~XaOԄuM@g.q30EȀjW, d'نcoo xTGPR_{Z&uUqXP$i8b6^S(t۲6&ʈstzc[cNfͷAwZJMr 6rӅXS%vQ Q6x¶Q pL*w}|wi{;CeIRU";\9I,