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 # 4  Category2:threads=2elapsed=18.648cpu=35.236gc=2.420factor=1.897zXZִF!   Category2 E ]ŗXf1-q恉 :NCG 8vۗ?xWfkq6gʆcEbΉgj T|◌ fq/%ІT}\ #qRr1Im)WB6vùE7hڊ2`o\Gp/VQB3IXPn#lVm㮅-5 %AD/@VlOV`%&w 5HG ?K >HR nZIjDcXh*j3|sWǟz+<Eƅ]ѱy9;.2 jaZ1.!BfC>7ҳ={X`s#@h}Lmpu#0IsZqIHMn)y;u@&5FBp|[²2LmgYI59BȘ3?wʽRqB*Z|VKg9Xk@ /X *1 5]\̓noXYYBgJ/s/w|PxhaOZu`I$3CO㫻8><(Ӥ$.Ihs@Uߠmz`ҖX?hHbFB"㋆l-".}Z9[R[M;c+c( l z3Ecw޽70濣Kuv^ATxG$=bKj&W31ʽ⨧(D\i}sǢhWJ nH9i}\\u1S R/MH[+eK68;Tݰr5dvJ+]g1Wz='±-VWt|e Lj'zbLdut6Pt JKlD~Εc9aR#(u T2W2*PKs9(O1b 4ps0Cok KgwT.6|})%k:K @sm;Cb &+J\$ef$1P*)aw>r4 ۋt:Y@_ek";\ F^ZE(ŗf7|J h#l=z;9NF5Mu) @2@´i{R_6/#l7O3HBr.yt \j* ,dT*g\1{h׽A#X%g(;I]NE߯6NT23TUu`K54U ܂dpancoyܪDAjbCU9/Bsͺ'?i> ȹ }#5cQO׫v4^Z"%m%-u-S(`dX@n^Cؐ @!`u)y_WRFE?>EG=PSߋxh(|K['#}4`2ia铝"Zz/ Qr@I lrG,aY9gfuqYtp6Tl&2P>#q}Bf9!C0~=}~,WӲxXPN9J)z tKGl|[~X>0dC/)53.{O@!\@V>Aʫ[¹ҝV8 RH2̐H\tЧDw:0`t%`YZ?=y\KHeVrήnx=WV8mkc_ddoY[ E8 Qu•=l_>5J$!N琵΢njQ_EvaR(/̈́kPNtE.Z`$u<8])`9jk Oם 2@6sdz?0k(HJz=%Mi~ dˍ'IsՄAYgU-ʃFsgJowM$xW[w_Ǿ݇!s 60M" \{_$y/)aމ 3213,`ִV`9mD~z > 5Gіs槪.0}7C#k0kgD%`S h҅Տ2dtfY;-RM&%gG7 8}ЮEАC`2'ӎ)~AX.(Z o-c)>x "nfz;oek[t+jxs V;+s?^FctcHIm4}~rř.oYSCcu6Xp6"I{~a# uN[w(,l쬤8=,ɳxW"n.MڠQ D w꥖ F̰Ѧ?' ؃Ҩ!,qBFImY,4X}ߪR-ƾ4 %NwaM $%<(>0a-a gɯ<>,t:bfd< |fGAx7-6^Ɗv(gYZ7zXZִF! e4]ŗXi%:J #`qlVvU0$&:^2"W CaDV ۩gZڈb{W3 %v|[ip#,X`Iw>O;o>W/kcQO; >0MPz5 \ӡ?7өC/'p~ڃ? uat%uC46;v 3ۂ~`Rtm-zN5At1q~C4$s2\e q5:ȱCXy$ƯnЈ(HfSjMļ|l*X4gY )x 0˚sCIA?Iqq 8!bvi3yЌSZPlilr} Aqr Iͦ:4CC2! 0aAMPp+گ7,{5@6Wu;m:mgb)DuަP5!O1ˆ'z !PY 'iJ+WWh .K`>nѡط`#$ɢ(R .{NrLWA'LYr@7 g] '*tAËta?&g]Z3|-NRg:FOB)L'.`\ \G轘aC2Xr5Dn{TUK(I\ Z8θױ}}oą".3/+ q(D-4'yN OX-8vA