SQLite format 3@ .  YYQ77Atableisabelle_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, "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 W% $D yw]Sepref_Basic:threads=2elapsed=24.263cpu=45.184gc=1.976factor=1.867zXZִF! & ]ŗXf1-q恈͐7ӺV .?2ZfZu'Q1wλ]%A,MP0\Bz7db% Y Zrߩ#OrѼ*RzU+Xhm,w֊G᧥,f?FLerRt)g/5!_XoB]Z@X_ yQ 4"~yn2b 3ldژH@BD ]K4Z'5`m|Fv8 4Ŕeٳ.0*@T@HqN\Ɛ9ASH­cxb"W>gTOZT?aHQD":F"φcL1IMk:9N%$AeM(`G`nq]mZ|HǛhh\]l| ~O@*rl'|\VZ35>Qݘ9s"˗ !6)pP no`t²'n6z⇝tLl^ }|s9'c *! ]n 3q!]hsC2dV 2;bQ=eC#ߠ {Pq4ڬ`3W_$_rwַ[ ~ɤn(Gp(@xh"]pJM6^6qjL1()p2rtto w*VMf A3KnK$pA]"2 : QB,e3 {$aMvcֱgYZ7zXZִF! n]ŗXi%63g#c1уU-Q^ $;:~)lh}xbq% tItŒfw[g dwT>ki}=|3r'~FPk2Գ?n]L6]vdV@#zKä Rhu~ 9JYѻ=x9$n#ʩ h!NZ5amZQ0bf@7#f,J,Ie>쨯/ C "FZ](fR1*{*#4R:CG#kVt#IOBFI4YouB=Q~N1`̌(c [\$ Y }ny3SL!rO_9i-羗f c &3eH.븰9 ,PѴ2Ayf.uH1K"(:Q280ie_&QρeI&Ӳ=# ]b^ON4E!97 Kڨ;!ߚ2Ub ezqۉYԽb&A5jgՎN߿UG0A/]o](Q4JA( {PYQbo*?sR욅$2 L9>[zQ5d Ic|>/5yZ^\:TR-a|~i{~YFHa󂯋nXd7&bEa8~uvQ >[m^˹rqP bXͅaI☘?ݷD^iK.RֲwA7BK}f@ c J"=`7n6{I_7YR2kj)AWú+hoGGLߎu8x@OG{>>Νbml1KGnI~WQwf/ѝtFR)UNA{^)~:C^3zcJc\VA1I-(F:K f`߰l7(DcxyGOMu8-D׋ ou7,ٳZ|&fW!~@ ]"%_z 0X~`Q,Llsh/IyIw2m"C\ cAʳZ V3wؔ-cfVk&wøՖsDY{lBhD גbwE瑘9d1&"R