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 NN/ | ] pGCL:threads=2elapsed=34.942cpu=67.208gc=1.884factor=1.927zXZִF! =]ŗXf1-/6vR]uC)Y5aX%uk*u\oA 4%0WӓX J?7Lt΋LAv쯓x ASjR!3've%2ADVd=ujS T\ƹ\-C83]G/TTX/_|\GKu=p2{W$}t> ."ռn L #{9LBfse0jA<9V8InX6`*3Cv..ޡ ⮠KΧ6!謖ޠ R `"D9öGL6zɳDI,f1ܤP(C\ȼG1뺽B9ʺP%Ě³B_bFl46pzwN;02#|njvLuqaU86҆OqW͖˖5mK:=9kP5bݙ˃q1 њc-cϸ«eqPO∕pF{יy `yI]zD3qPûV$#dWŒve Sƌe@DK}Qob* t(6vW .3 ߝ}bYCzX,d] \JWW&U`P|}cĸn=HGzM;kQjT=BixΤхnqռ&"R7k ; P/g_q+Zҝgs:aW;62s17){쇭Idirtڠz<9S%62t%J忍믧yh ?kxlܵ[ܲٿyk[摟zqH:<Ep5tv9Ø9U )4e62A:i+/(c(:ϡlmoN *GؖKK +guDi!j{r^rO-T]\0#>(PaNS( `Iůٽu".H4$NP ŬFӐzZD`rM3h= Yp;|S𸃬f7s\ ;w7Z^]HƳsH cHl; .ܓ1q%_P1A&mZNSeld4U܂p}ۙi3>!Ɯ>Otm mVТ*DB%5CXZ9ýz#I? Ip#1w/S=u@JI&(fʘ3倂myjt[}¤l<|5 qX?tأ&lX+vjU,)!ې'K,P6 [Ě`*v9GnGab3 4A3,hD3}1ܪ2MsS'2ȵRa3ȦfrYoFX'-h7iaN=K roU&-$$b2Y&%~\b&PYEXPmOfI5ÂX^nc ׯevɶx-M8{w/'D5 E*b;Bv'k)sOZmf|fSS{0LJeF<Wc n S{v6 ۂi&& ~q:i/ WY^:ufKFb$qfGaU|XgIpU8I2l#WM?gYZ970de01f8af6166c235d4dbeb4998d5230bd92248ae0489170ffa4e9aeecb054da5126bd23bcab2b a42132ca83816d0082ab6b716aea896bf4d99d0a 4f980edf476e1d267841215178fca737808515ef  pGCL