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 L < -/ Isar_Ref:threads=2elapsed=17.420cpu=34.444gc=1.776factor=1.987zXZִF!   Isar_Ref Q)]ŗXf1-%˓> ؽΒ$%`?D+l6 \಺pR5J^o+*kL{AJ@~^P 2 x%WSؤڼpzvoh\\B}YzQfZLEBZ~*@ʉQU(#=5^|\3tK>r΂յ_z\ё=,.8HeR\.̱ץZǔvszVd@_k!KJ}LޅrM1x-of50n).'~ p^ZA5ij$ ;EnB ¸PDC6FMpdg'.3Rri+z_M])Z~K((9M ,Aم&2~lx82nȽ&0oVni5U&X-nE_}xuP~ʣhk!riXJx3Bl)KUYa%UO؀,ԅ?^( O[jS6/sgp􂹐淪l z8Cp4f@ϕ{ )7Ʒ@GA]oM/Jgʕ ]Kh+8 NcijCж8nnEx^DN/Ot=0J'1R>جx9#M#Rom\(}ݛ'҃sFK1)ZQ٥i&ńv /$TP@"+|*%0 Y$XӱG^ɕ3G=:L_t%!ءW蛸D61ӖM )Bi{6<%vD m<7%C5~Og@O?i=`AօMú3-S FDI-E;_1 xrl< ~ !DtP'C%/xmkr҄%Vwa8;ٳx ғ[iV;7@(8.'#Ck&|2B0Ї3B%"'GR"A"%33{Vm`z#5[A s:"]u-ߤ-*8E`A~Y`iOɼȑ,?lf ԤpZE}:fX&PȿmݡA ADZත w?(&W *`>nTxˠSU8%m< ͮ a 4Qed(.@? "-Ex՜ mSEz_hgh5ofi<{{KT @!I2O&TOH)luV2ZiڕLnΨ-' KRǩ)"z~ #l򢚕&WGlKId:$m*6W*Sj]A΃B,x5Ԯ gO<89DӸ `KQn`-z%pW6GImWt :P39ҢY BC~=`Y^gYZ7zXZִF! RD]ŗXi%BՌuXZlrgLn/4_Lԝm |ώ%MrQ X E.g}JXCMH1GC:c ڿ=ݜ>Td?}e-w/w>,'qX|T6d.Uj/)B&He?r4HҖcQaxa,Z=M@2lMOKꃝͲ_v$spőR0l]{6!G}C|Hɞ՝Lg2-BD)m8<7ѡ6 `O1g \kQJx?O!-D(?Jutb,#M("SM͈ZV4 k^+0[\#紿bpC_\BbfMAXLOȯYco{65e3?qZǠwNSړL3(wiIPU{υdbz+ ~̽oӏyv)M\BJD. z0Mkv ]=w1".qkYTgDRc{N'+H vYXX(U%]<_}T- \L9SYdՆOh3% X'zo16"PwOáGR6l ٰǍ_ҘN0)【:SaWkG#]  ܂r&Ĕ>Itԟ;Q-74SP^y%%Mиu6A'NoӠ}@ 3 gJѺCyl̚eP6N)R"}7"kPs Vbllj^ʷcRyBq⤜ÈY9^ tuS@Xl請= a00 NP`ؤ4RoexpjE