SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 % 4< ] IOA:threads=6elapsed=7.640cpu=33.280gc=1.676factor=4.367zXZִF! R]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K kg(^Ho\*)DSH0Oؗ  #K9BF')"&oEbBIyr/e|To2/@*~Ҹu<#cDT+1gwP?!h<J0 ULVx8øIl(z+C6+cҰЈ[eyM}msF1wv{inغ,d|wt}}/iܶ* h86 /gI hb'(F4Έv,\7C_IG)}#i+`還S5+Qy?$COY7f (}EE$>HDErb~xlTgR| mBe i_ᰚzaG#51D/jjNN8?3AGCHLB'hVrOK|^Rpφ(SR,4 f!p`gYZ7zXZִF! `]ŗXiɟdN'LvH۹$?vYe|o{:\9uzY۵vRNeXFnG0=A, S#|d!&eɸi ݂OS)o;qSw+K LT*Ayļ*BJFu+rf 6۸Zji"ʠ̿ڌjJ'|#KH?:;*V q&$P'ئK_ 3%tv>pu~-dJRF>4\.4XM gq'yW%;aKoьS>js#pR6omɴTްX(oO_=rۦJ YFgYZ7zXZִF! &]ŗXi%>ts_f)3{#U +E]+A:V{yRC%* uvd $-kXM=־/K㤺J_?aunjA*:J}79dUeYy׽d#^2xtTƥI8P*~_OYJR q\f@,wݪ u NJ \*|Zih.?PpxxDf*\ 3 4W Tm\ȴI*nv5^|,u6ApGw7O& Cp\ߣ'N~y;% džxʆRzqzt[̜lݠR`6ܽn~35'C*9te1R Ȕ3|c.9֟8GAn>qx䟁6{!,MY:M-۷09k){N}.ihzO_><ߛ|G{t ѶE<}3e<;F;roZ_i&X{Rak#f:$M2Q'H] qҲ`ds).0~ 5G[ϕ$HLE*חi,0z4)SNĒ),;MU[%aKZ8^B0"ͤ;ꩮϡEV1Cӈ^b,` كUA^n'#O, >g`RdW[Y[kKR8ԝ>:9NeGhq=Kr̍1'Eiq1E{нp* :[EG} 4+(oڊab=[,1ПmNdozw/;*LlIÕ(⎫7M?gYZcb8f954ab4a6ab19f66e92c037a3affb2567a19fa7e0098c16fd923224d12b7191f69f9fa4d76b8d 47bb6935461017c83f2b18eba239137ac1b6429b 97a7db1b8d76976099fedb0e81fe3721d37a1c3b  IOA