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 ^^ ,D ] pGCL:threads=2elapsed=33.619cpu=64.740gc=1.828factor=1.937zXZִF! t]ŗXf1-/6vR]uC)Y5aX%u bh֗PTikln#Ref=U$BSbp1il%7.qcvՇ9VI+ZE.}~BIY}4Ù_J-S%_5!b&ȥϭ #XKE(UF`]s6C-US̴ ,?0J؛btf"@ӆ̂{/21.A#?~m~ߊ4AG*p 4;]-h[qݱXQDwbuօb6bΨ]ć4De@<\?|;:o}zx58h.#yIM3^Dw ƧpqFVƔCe!CˢbA$YNԣɾ@f4f'TY*g΀ӡޯn'HN^T8sKş-w0jz>_X`<-hFMWؾ~go7Y)zA70f7@8aԾz+gp^2}?N:d=/CXv7vXy;s@~3ӈOnP-.Ȇ8kgYZ7zXZִF! L|]ŗXiɟ: e=o݆$ 7Ir2nA&cVt\+kF-V^]3aŹ,g5H&p%z|Xk `HIOgT[z(|&FCcק㊟q霴o)M C|DRaaߋǯԱ“t>' fтf2rdrqLpFfo[ } bck}leSa4Wg"hɏ'P:N|SPѷ2o> ϔZItOƴ+M) 5Z`H.Cߕ8֯(F@S n'Zv  .pgYZ7zXZִF! ༝]ŗXi%92M!5L\ag8Nlp ^ϘF8]zdfؠ  T13K >۫CvR`EqƄ{-U4۱'3E;;݁On靳uI␦ 1ҕ;GkoW]{%;LI-`PH7Lcfg4fĤ30m܃o󳎏(P8ʏki<(6I-֙ IֳD!b!XEZ6XqpB@l)?XXAVNxVi'EkWI^6_/hk[b@ڶ='cӭ N;蘝xa. d {}@Al>t &Rz:"3&J\Ja)9+ Al\qP $@bt|UdAD>,)FlюH5Қc߮Ǖ97tz z4/pqI{Ҋ2B3f09Ϯ!oEFy./*vWRt2_ +dL0oM|,]QCh_@ ip҃ȪVw`^Kq61]3 ]C 8մn^!1ԇtv$BХSO1$YQgt;4\ |G;=TjšWp9pZ-*p;@0P AקB(&{!ȄP^ʕ _.m©Y8Ɋ%@M hݴY6%>\U>y7pf`l .SJh j/WblU%[AMI={SpÇ$A25lu9oUa5SP2lpl N*Q56̮^pfw1%9!f>cۥB/`]FSښZXUzᰧ8U4\Zt'ȯQaCl~xYAi:t3C$3a\qmKoAkBŞwi +hcg2\BP9nI[<4+Vq-R  U /ѳjTz(Ns2,t0l_et"f~J+5M5wE\AG4b}KTsxǟB]L>]GɥѾZW 7c%l! dNx= S-[KpTr֣77 I|B$d P˳&Dh}@>"]A̝vh k;'VfRBv5Sקz e ݮB8{ŷE:>A݊3)9%C)^d ׆\ƼJkZ_FR=Շhx}-p[⣗fBd+ j1{hxre3&gS@0\w?DY v+?P&߀Fh3W}8|0YNEa*LfggD y:^lLw!iHq??3ӫI=d:v1٥,j*\]+J-|y5A#xӴc#QYF!#3/e&1-sXe]n;r{M8i3*;CON&%9Ͱx2wWh;q#ѻ4g3?.`./E}!`>Dx$F?O x-j0!3"tzr<\U:y'>2D>Wp__jL+LZ6i(C]8:m9-[~:ns8u8Lw~S6WbތX7$r`磡kj~x^beb=olbp c0F4@e_xo6 ^l"rȸ[;s +b?!ytxZK;2k_dV:et?!SdOYd] 7飿~ mSA4c-0&y֩&ehw\ZKTrY! SF{TՓn5ۙjS\ 7nibg[ KzrXs^IgCnX=c 4⦕QnB5Nw0Lሢ2Tk)\Zc7k`r#M*| TuNͼn6^^7UK.]`=TMgYZ89c7dfea7a236a7f00d228e7c77699f368db517202339f27a0d9de61901914e2709fdac8350d3cd8 7fb9b098cdf9ef9042e54a79f154a8576f8ad951 5d4ca6d7330bbafb70358c8735ac13f48c2b9887  pGCL