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  DL ]/ CRDT:threads=2elapsed=26.778cpu=50.996gc=2.560factor=1.907zXZִF! +]ŗXf1-q恈͐7ӺV -fw0w],[aT|DBgn5X@EMS;iW;ıe EfIE$&dZA58U6_< !\'Sj`x llBey+ߚTp+0cIVmDջ ҙ\ִ7dfhXo¶ CDXlqg3$:;(>/3ߩyԚK;M˳$fv+{_&?ElڨkK+62_nD.c{\ k ;9哕8r>p9hsO%ضwW$@?KK`Zg4%Z_HOUL('BYڏf餯Z >-h'/b8́R7UQB o3Zb0,;:K`֓ڿ#M5yjdLVn0fs v«ْcG\#o`.!&e!ԗ:q-+0jV#ԗ#8EY2 pzugĚGPbVq AXBF**}a$/^ؿX*$duI*|ՠ=X/D^ '#hDzG q(uU XX#XMfҤb#^qDbKಏtX^tD (&T]G\{' "+` +Ia7`8-cږ~` 7Au}L6~{pC\e{lZHṉ'@T[N-!j Kĥq|U_Vb*ncmJGV60Uw #'RV8;Wrw  쭨#!['|pB &h+ b4ze+zʹ{a76p=:rSԌxW[ljYuY:[(+W1|!:&؍[8c%bw6l@C~5EˋrBp mҁ Uݳ׃n!Ocd1a`}콩:Mc`:%m3kc͢ B܆#>pޢq9ưvw <ϗTE:>oK~w 0DhIt[߳NLNFS"êW+[4s^n^%Axw%>;27dO1*99dgW'#3 BHp}vqhV5N+y s3=}^>;C+*9[n,Y}Ojj3O!S wzsx9Aa f<4yf6Ύ9 @hҍVF}Ny(Y[Q]fz4 ɯZ4!-_2id0&'ßGL+x+xLTbŭ^9G'n VDPD쾿K"Se dC'ٍVx<L!7ﶆWuHh.4hEKz#fݕ`觛\nȠ"R/c[萀|T`^vyb[˝қ"| x =x(~JA) "tCI]T^'Q>uO #EVF]s _U6$o("$AgًtgalylXil4`,G(ƩFfM7OyL+_mqxka@|XA;U_cU?=AGYd->%rɛzY<Y d$p|Ȿ88fGM2CuD +=HR.Pҟ%dieJ3@HzFbid&'$C_DmWYV4lŔ9Q J~js(,;?r '\tww\[0K_~{N iSp?XckvTf/7_ydM&کD&?[%l