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 g L  ]% RSAPSS:threads=2elapsed=21.719cpu=40.148gc=1.228factor=1.857zXZִF! 7]ŗXf1-/6vR[Nk#\S\HId/X!(-*GTrhԃ]r| |*if>BR}-Dy .x]7q&Қūk1.I~z8K| (+ϼDeX=vƬ < Y<3 ~&rw鿐Y wsNI[_-HyRX\2iˇKYŭv CХ$|6vɈu3^atn[ 0`9lfİS43mOo+6\ Z=bU^v+tp椒cѴ ,ٔY͈ BDW!wzF D5gH3V Mr`秓*h.ʹWeznKkdTY=">9B=ޜ Q/V͹%͠t2lį!d}C.稃s&S~A"ʡ=ϻl Hd#]:ҕe|,YDaC쭪_ /fYzlBo0[ YqA mX&]S`竿{ML7kC}CF.9:&Tw,\K9dfoe1`?$0\x 'TA{YkrЈ›_#01MgYZ7zXZִF! 3]ŗXiɟG@~W/o&ay1Qo;ޓf>W@bȻ5V/DJ%6Lpl6Y9I7sm!zlz[3$&_Y\͋~g`pb[ϑHA7Jya)U5ѭ&-UN[fGF$e-e'G WfM3M\_~~|Vh=!lۄ<-\&5`)JJA"آs0c+|%CuLڰ+˲\IN9텕])m!c1P0i:KGoH&j֪dߴ!W/ "IjJ  $;Ċ(gUGaqĖ8ygWvJlb,{J0 ґ>a>ij]Svr;3!zD2PEb!eH~>5NQ+PظJO0!E\IzɌ7mcS7YP 5v:sh jLWCar#xac4߁&nd#T2Q0QܝTឮ1ե} SGץ\Ck;"/xy\Q(|LY}lEN _x@VI,´>zX$9Z 1*00EY:;h`tX^& @Cht٨cM:щeY(vm2)XLTv=_ak.om9$p!YBɿweJC!:1#[NW厲eD2 g;5mZp_>)߭ʼIFk~?w%w_ G°}4V]uBsݹEfՔuY9R*XUdx7?\ڼ>/<nmBie1/*לRGn Z!{Sb܂َ)o)} \65eBS[1 ./ֿT 8zfҙԞ)HJ.?l¢]\?V T-X7`sٞHgl!hΪ^j&M[i+S>4Knga -lKKt( :@.LlE!ڽVq V֭҂J6.6)frC?8] ftb7Ik J{";1>`x]u F7yzwuHS{2A[Sr MgT T[tGǿ/w]M 2}gIT6\t4N¯05z'00!pW\H6o`IiGdVخ(c#G wIf6Ϲ5)ffYKy+{/k\ kZ'RW?.'벼Ԣǂ8pM" fdB]4JGlOuhtlI]^|M} (gYZ166c30718dde9b21673879638661d438015dc7eaee3210dd24a02fc2532bf9b24d649a5c6880067f 50500894c9f08017630fd27f91d8231f2cc9f198 9dcadd0ee8dd62844cfd6ce52dab61c71fcfc0fa 3b04ca43da1e5aaaf875b679703967747f534b02 8e27baca90881847df66b1c766f57de6f2d1fbb4   RSAPSS