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 KK L O HOLCF-ex:threads=2elapsed=17.670cpu=34.800gc=1.388factor=1.977zXZִF! F]ŗXf1-q恈͐7ӺV 4{ŴH}UCkAF#YD`SEMSn*c)\n `l܉! ~q[lXp܇E_q].OQ&ևlZunNȰA)#Ƙ뽾D% _sj*E4} xS4Ͼn3~eksF0\>Wp07;#*_Xcc/,Qt{}܂]crāˀJ}i!.!Di   HOLCF-ex.rWNzA-ZΘ/B2mFE=rBJ"[/o+{1ҦpҼӁ!ZݥgQm#u{Uq|89pAlp5V8sC;SA=}1Ռ`B_ R&ZH:HՇVi1m3@lNNi{2/T84-i;^תK);Қ2U瑌}-J&[.jS7xo]7-ٙew kW̦ $[p4!vӨgJg- CL1RUwbIT##y01 q.YT޲M؄" k~K3C-~r."aAoADF#M)Aևk*IЦU[Y %Xzh%ΣV.Nd,xjy 2Ti| L5GAvUrk ϊ,-x2pȽCc|?J$}`^ 76D!ۯ'oGvOSwۜhBxW;oPPzîe׶'iW = X L.z m;_f"j &]V~Kvd >7. 5eц&y>L:t&[T $'[ D3_A\C!ZƪW(K6َ·T5D??6Z 2 Vz3\#&_SBʲ$fd znV,$*j-j)SMGג.TyTzy *FJrbw}٫m5 ]}/_9**=9|vd]?@OhV&\GcI!(*taDQ2?ً ,_!IR@֤!Wt?xFp e1zvC9e|ǯl1V Klc05]~4Ƃ㘱/뉇/TִFZ \]v'!Y@GUTԏ4}wlW4g }~|,Ȑnэ M \ uI_JF 4\Z\FHP0ߝҌӯJz Oy#˂ `JWY@àr<}LaM-WG[}N꡶z8y{[Zq3i ,g鯽(fv˷00sMWGpTmJB?6LGK:wfsm?yF度IK:D瑮3g4[Qn260`[۝, ( ibHuB%@<w!\bb #Q?i[oQ#V1Nzc?H`:TX!?/Y B.wJ V{6d*-eyA?؆ sA^dt0Q:!fjTk?ٔ]6R!t(R𕚈/+>sEԇcg@HsV>ͻ|Vj0IQ+Yh>:׎wwdؙ{T%Ǜ 7@tT eY2h4z6:DBJÚR4/L|DD"hX!Ny?y sJ1; #L OY؋Z3D({fi7/w.TuGât.W{A"@J9tJxZcehsgPD'coǛ(K;H#x8*?Xw##oQX!,P8`R- GZ{dVd?קְv5-*.uC}Te5^ܷ淄Nf8G1 Q3Wٖ;¶)ig;|8JJ6tɛ*xv+-XWĉ4 =?+8 Xp_ 6a&yXVqtw IuAf!#]m16C$̽:>RI*z_ 2 or=?#QWApKɘAy׮9ļXQH!DŒ98&MRّ܄|#/4n_z>ČU6}B$vnwd6 6[Lq-*םP+oK}f F٩€f"MwlpKb'O抐jH4gYZ7zXZִF! T]ŗXi%BO}ܠȵK%ҌY4Tq›4gxIsǘǑ42FS[ Dad^ !|?phZ˗8Qo_5w,q9xv^N,b62HUIKOj01EA/Nq߆c__.(ypihM \JYѯN'Z_gI9ry)^B{ Њڇ9R`7n6crLu6\-QԵJ? )4+j`a7<sKo@erpjoZ8LhC?X݇zɥGG79<Ѯ Sr_t\r_l|&:JTo}+O)~YGb[7oKHmR r !2[z1w52I֨Ks8/MZn̅/^)ЛV(KȱXcrP4hg, o@kFd(ߺV*r Jxko~%bY-M˽MĔy2Ȝs<^#Kr{]FU|+ȮU~ ah~(HiOєݰ۰rӫ3MbR`TOp@+Q# 9W$s<"%Qz윷om/W~!#<8:K;sRX# mߪ4-6۳@= PVu2SN؞k3/'m: l'Ye.ֱ"cUY~Ru/L4oH9=7CL$=-c _Cr,y 4<,śV>I(CLh@8=)g}4ֳF5wΆAm,ׄ+KQst 1wÐ#>`7o[f%a@P(1a\"<}ldK R[vRvC%"됇&a10͕ygDW8 3Ȟ V)e::?< bVpI1 INV.Han~o` .6gYZ01ad330ba00b3975919c3a49fbb7a2fd1f1fcda7 08579f6b90caa4ecef3dc4866fc245fd84f7c1d1 10fd440961a468374c626744451888997f31c65b 122f8e6d09550bea029ccb1b6e839f533d6f19c6 12ab84792dbcf7b8644626c3c47bede01772a1ab 3c54ad37ad617dc2d861de2dab681f402c864327 68bd26874ba31f2499644d55df21046545285291 6b60fa0f5810516fe9e99e420243a974afaba0fd 80dcfca725ace97cead5e39d08245c26e7ed5a75 852c4b663a8d439dbafab771fff6222b134f0cbe 861b5b0630fc19dfc3f05345c4c7df6022f02538 8e7a31346380d165363a6100f12d0ca8189408bf b93df0a10ead4c342235da5986353a7d12307920 c110105a951c4b5024941ec2a936350c947ebaca ce168f5c6ec1725149cd64ec4a6feca6f681f8b8 e16dd81c25115952353dc50e98ef8842c8109688 ea07fbeffcb1368ab04358e4a6792a15022e958f f7d7695b21718df39e8a80a5c0e149dd8fdcff3e1d303aa48c02fbfb8fe205c90ee243804756e6a6 3e7d2e5aa099435bba6e4e30f924c9df17b4a54b 418c966c45dcc7bb77effa133124dd4ac762d710