SQLite format 3@ .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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  ^ ^p |4 ]] SML:threads=4elapsed=0.021cpu=0.020gc=0.0007zXZִF! @;]ŗXiɟղ >{jk^7ˎEd?!6WA}YZ7zXZִF! Q]ŗXi%BG­&sL,"mGXKElvrR" $3owowvP(`!LsED'wH}4pyP_Bo}P# [C?(@'* Njng'y-JVI.ę>ダ_Vr1!?:%fYt/)\ I7w0qk3ƘfnhEz '-#4 DoM3Weׂ'o?Ъyim ܑ#) 6n$g/9f_3U}C_y5#\)Kk3V֋!6{cbV VGmQM~[pVlhTtގtp ]}Omb40}9}B\K@aFBF`T[~W*"keNaѺ^k)6; 0ncXUAq:jW WB2z3@\<_4.tBRqŞORwH$rf"@# bWRc6/ugϗd&\˛PWXe93").ڂɠ_rV'(bHk|R6e( vF^ބ:(\3txU6q~ئ5BhXv-dz}3J/~AvV|j`E&O[pf DGW3 :^بb0 hX Nj1[FF Ε`jy}ݲ[Oe*4'Fi2/[ ]]R^cQT%1-tCy͔X:{ qZ}nAr<_TxMcx C> &8_2a>KL1 ׷|>%Z3b/@3!lI_E&ī ӑC;Yohfմ oE