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  l#=JwIXh6 -.Gg`om\SφqEIb GgG@{EN>)# N@\ECh0\iH_#LW1EmxV?OתP8ϻƯÙ8'[Q: {џԹ4|B)r9>+d&ْr@8Ǩ߾/r<)DovCZao%LPO>~ETrZ3r˰q6/+dG Uai-4ʭ!bކ<}ԅ_b6M7y)HϒCRl7m xh*$X>I9VLS֦@{QiqQSeyѢjxhp^QOwwtDyp.D'_/m3[vM Iƞ%W'|^|WjԒmnT4t2+-h0ϴfZ_o9wٶg{Dl{wm?<d61+(p\Ը2l?H$-w͏2|?Mڇ`KȲ # HOL-Algebra>"ut33 X\KNYah>2R{Ch`(S\# [78i3w }rSr~$Sxy5v*M.)_i i,K94#' t^7hŭ*٣&Ge4ޕi7+(*mEO 6cC.g:uQ[2nRrRdTdT@0[@Sģ\Sh\:.MUY|s Y"̾z7 ڬ-KWzIKGуXdfϩQ .dm(j!A!IF0g܇g|:cVa0nm4}/ IC[IJQ) KE֤9B+sՉ x pi8VD0$. wm@{F`Ή>:Cnn"ZbB)Zk:Y|P>~@I@Ea"6\UhuP]v5~q>MD!Y9i[ h粅 I3lxlwgYZ7zXZִF! ]ŗXiɟ1`?#DaCu8fSmElXL%UF/ȸxf3%pqneD=ƹiNN0[95U94_3m< kr?p*frXCr>e"-m3Ħi O*u- *wx7hl]R,EwQ<_6 Aff386:$xzBX _hExUcęhW> 䊒^^o`E&XwvMXyL@T8RQ"HG Ґ Y_ױgYZ7zXZִF! v U]ŗXi%96WFѪ9d&?c5\һ!p !ߤpئhCyǶEdq 0Zj“jљFax87ƽpK2;PŦTcv"2^t<<)aal*kgo,ڡh.'. ̨#FzN2LDR ?o,ЮƿPHy9vmg828.T{pҕ1rpYĺsD;8ǵW@aPcy&}{k"%[=V[a ĕ%"NЂ _\^C;cWu &\a|o3{&pC++1q xg13R9|܋v􍄺2/^w=%\V,Eelr_UY#x/gmc#ִΕzA(%kLB#An#qW!n.>M,ǁqI?#3xBBHrPI ~&<6q A/!z),E&>NCQX^}dwqZ 7A i.\/XәE# ϬCwwHc[y-qʏn ƞ`[9அ(fcB}F),I397?G%.:!wyDi d2$qۙIML:ꃡG]P[ertֶׄ9B4WUxN$KFL0*yU`Lv\ s߇nMseÄG&&^cC~$ 3xW6S5J8d8K^qf%ug:IAq(GT\>ۄa~BHR[k0@[mq3+82jieG4C5HB|,Hlov2ͨo*^Ŷd4^>X f _C߂zLLlENE=x3aleh0u'Ԁ e;Ag}mYk qeO=3~(0Ah=E):L풷i˧M߮Qu8U:+(drh`f%MS-Z{TobZM-p X-pM$M:(qcl;8u?0