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 \\ d w]LTL:threads=2elapsed=30.081cpu=57.068gc=2.432factor=1.907zXZִF! :s{]ŗXf1-/6vRZ "@`$%)U^Oh'^C'L0"boljJ dJn ' ,X,5gS,yBώMkȲ_˺ ?n]1='iDhմwR-h+ER[ork_2ņ3@dBP:mf;G΅ޡ+W4q u{8Wiߏ[C=C{RB(!x*#99{{'t3ǢqVR? %#~~D4=36`P(\yM]zP]#*xpc;b{ցdHes? n'gӥsx>ZaAh6ž@ _nK@卙 1Roy(D!ĄdIs*0蔦R-%S9Ӡ/.H.JAԲ&QlwcfU1((~ { A/ `#x[rъ-x,;jq;c6 U2rk}ׇymdqL%!sNa]}d+~6@PǞ]z 3<}NM5o񈍎Q#o|7,ˬ5pâ4 \2u~fP1Q(O^irm t)9|:ː'@ jfkR< n/_DP2:MZC:tX9pƢ$!m 8vܦ L:ƣ3E"&QҌC #m3XV0=(kґ|%Nyg,-)B!0˗Sc.΍  ?3`Tidlf#G\ɠ!%|i2~3J  cVt^`0%cN)v ?W˚6ܐa tKgYZ7zXZִF! a]ŗXi%R!'TNUݼnL#=}4+DMՇ8rh;KWiWƶ>o/,fV!+85f7]x'# sZ)c7|@W`a7 vFD8tOB~ NRu^="5e=;w:۬&ظ[ˠ瑥0CHmz譢)}`@D6%K/j'|Ds5=y]HwNX7.`^,oůJZ5$AC -Ʒd#0LHfCmfˤR;Q5sAgW#\;O! w|J)Zm'mVIYmJ{69_9m`p%$KӟX)ϧ1 %]ҝeA|E6}V`/q}C(Q|O냻ђ~O,q,4 uPr갼~k3} Ɏsqȗ˞=fnﻜA"1vl9> aG8Xcߴa&AeGif-ڤRF"`jRW;Ku6b3h_G)R΄"G)r,0\( n`OzWfsb@RN{ZP~/yiE6~\N?cP/hxK8`DG2Tc /p݅.RGmc(W~O!#`!U]UqEabdC]Ͽ˟TV2od~xŖ4 2t6Мrc_VU>՘*iQFn-S؀IX6o WWw1;1ӦV5u`@aع*__}g5=%^D!TJ pFh11PћJTcuW!.`-R`Ga}b97keZȪJU'ᄾBW`L#hP-p@⾴Bv}y<^i/pRAHi:4`#ܶ*]c{7+{H8)ȋ'„a+=V*}g-iqpº)G_{t C=3+BЏ1x0\ǻ2K/錋mȌIs #:W Vo:Re+_= V-4Q4Ǵfbe\`뎤>\mz*{PjV6Sl(/`|[qlBʈ#^Wxu! SZ{iR{Mi(*9sœć㲏ޙ#@n3c[o淪'3CUW7TpM+*rԌKjyhmAdFkmYL;ʫՀA%4fg%O*+*10fjq o)151puWýt#:D~s֧P!vOŧlmrG}ɰür#f͑2%,dOvn}+кm% JS1-{偞/,24{MhJ>?VZ;}y5#AcTQ<8%gYZ00fd14ca9b781c72eb16aec32e3f4e722603cdb5 02693cbda30a7a4e72da59fbebda9da8acea4fcb 6540e6e73c439215113bb52c542dd2629f8a76be ed67544291c3b35270e03bb709338e31a6720914 eee8e3ca0fcf28de481b458d7e68949f7f4ec678 f703fdcf7e5488464d8d42d4df9014722b38cdde878527395436048d51bd6287a500d1cb05dc0aeb b7f78dc5556061cc8d808a0347899300b2842457 5b529b8696e26d1affe58331545ef5efdf5192d0f025e82be8bc9062eea36618b76dea7ae8161211