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  _ _' 4d| ]m]Flow_Networks:threads=2elapsed=55.088cpu=75.528gc=2.896factor=1.377zXZִF! ']ŗXf1-/6vRZr~yյG!ޥo(?{~%R{e0׹j:gV2"8]:obܘ^KK#<̄XAٰc򐖱Rs/*൰'v=Va9 tC))82x#6TChhu[.6ak (O]'uNgSيD&\9SA b=u53$J]v? *1ARhoe`/`D-hbLה}d,y6iCXM.Eb/"]XzP wV~6)LUit$-n! tI?/ wɁ"~|}r"S((GVB9 D= eo3\`(cet\ұ2\& L񈶽Tf^ꆵmHi))bG$I\LP?95jaM}Zz>p̪Zq~rt!]6v@:%;+Rڋꉒ~=kV+u˃>SQ-rkLO>XUXI~1Z=StCOEgYZ7zXZִF! ]ŗXiɟ$BR$#?2FU:? o}7η!jmm_l_lrX-UB@0p"BotA`ЌS- ֮xnun>3`_@ 4@6"ziq"PWB ἣDֲ|bwOsӿMȧ5<'0 sd+e*6BwԷK f 8rتB Z/gYZ7zXZִF! 3 ]ŗXi%ή*=ӂӖc{(W)#̄>f~x mG>,:PUlƚ Uʜ# <)\嘕,h`J.GG7nB@tOF-o k C!9-C ӲJrKUeF6k7BK"le=î7[bq5ŜlF69Ć+ylk^Ir^W@sePS/,`1GfT?eJIR}8Jڛ2mU6,c?= %4ZR®$ k ?g#Do%bօqj>4Ԃ5󜷸 h6R[}/oM5A>t#ol)} DOy Z66G~nXxRP^ӗFYApؙ?l:o]wcfz 9bpۼ rМo߃^y+z-XZU+MH%H q-ю\]:X7(.0> ie_1< =Ke b&gjй8PvkGfJ<47O}go_pw$˵ aEmqI@o@j4ex^;wH_>ajg%tBc6N(1egv;pd n܆N$a8+w' iݭR{4:ԙ bo&4v@_# w+shm\I[Cn]GU#a8sgzij~bq %jLsܚ Vqn4e3lN5cyt,p0ثĈmMp>O__[E9*Y e06:}XL uT̽:߶̕3JN؇\m vvlZ7ѐ)c|.NI2_Hnw[>-qQ U v !%-s .ZZceֹGbJ̽ "b wu,hʒIKQ79XkWrKbi.m"דsQ$71w,"?qje8u@(*ѲD4=!r`Rqeᨱ\jK]y aCaB =QS,;)^eU F96ر̸?#ȞSNx0Q0 黴Nŷю5bq5׺_ C5i.aY6QB%7s8my&83x$whKlkfH)*$tqE<0 n̜kXŢoW6㓐[-A$o(YC(IG)i?Q_Ѻi'nDkx>qz$Uo(@U01b'h*A_eYѨ9;*&nӅҁzlY{faPK5녻jeğ‹]nFR64IqKޢ͸>`CGM5H$ubA̴Қ'=w&>#7Au+ʕPpWHYtCt|@:ai/_扑W[َ_\h;7a/U^YH 0%V{&:PHkYibaT> EM4R'r7 @J~y҉}EyC[9# ͭ"t~$}u6hLH;iiT w򶤨ZHInq:8u4#I C bM)K/A~<|]8օǻ ^}d@,uj,T{b̺d~~zV֐V3Lj5V:ѭ7VZWMm*Aꖔ!ЀjeQ8yV4C moɉ$Tc/WgYZ6bbf8cb72f96a119c597e7a7e5b8775e967832ca00b13affeca8329065e523557b07861f9da96370 de656be5c82664d2d06f9d4f4c7a9247323f4c02 5cf66ca79e6302b03b690cc77b658161a66a4401 31e3cdb1fa11abb502a94c1c5589905b57492701 dbb707787ef2333c022289ea1fbca53bc9495b7c 1741ea6f2f585137699e86ea4f24dfcc1a958ef1 e2f84721f0324ad88362f1b212ea4901983531e9 437ff02572f7c024a3508a9cfd9e87e8b72c360c fd853d8753b2a5b6b53ae72d70a14a269fc018f52186999a162a356aece86199d2cd150c6039deba