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 Q $4 ]/]UPF:threads=8elapsed=17.774cpu=64.088gc=2.941factor=3.617zXZִF! ]ŗXf[&:sFqX`xPׇ!98|:f@ǧ:gn\QIW顎I{u__+av4O W` 7F֝}}vyơ('{XPw-oEeB6X, *-t}%y} i8g9AY02a< rtIj񧙍ZdE+`/Zs3>AGivg~q>:گ-xAf4 njD⺨Q2ZwAiCV+ []*(o/1Ř5P'5YW.Jd+Zw*_!Nl#߾VSoKI Qn/렿hAFNkn+Y X[w$f 4 ,z%şt"cx>DfO<9sWL2+)r?@-{}"c{ՌRyǞiP7FQ{a궼Ic!T#IXML ~8xI"]خ֊A$z1\."|K[3"zs7+,@ʶu(k =:PׯX+UOW9/ gYZ7zXZִF! ]ŗXiɟܤ#k0{/!sW|@CiAKk=$42 S)sn>m~NHD;;r=Mu\J3 ]|E;((Ӄ +VrϮ{-B#ഌOWt/sy.|=x gYZ7zXZִF! n&]ŗXi%>tyYV^Bnςo/HÊWOfMA::>LNO_>Bz>]EJcUZBjƎkB P%Ahm|?'+0:\\>+f**y`ohyC x^i*],{׸>"")yI f&z RF枻&{Fy4cj0S9m@tIo.=o -خ[&̥*M9ڀo s{֋=iyY .+")}Y xnH+t앞Pw?PQ2SpbB=<`椅OkqGX 'JKgcNk+2gzagV:.AI<&)Ib*uֿʄo)L:a3*dNpNXPZЎB5J(C_?:[kqMT%ssUfg9 oz9@ X#"8KQ(k|ݏ W`im|œ"| O]t'|u4͔$ݯSN{ )nPϼ:sBn ?[#>)h9BudLbU`P_xyzrMVDžbY%$/mbꇑl+UBNS!#h\~+9ld '\"ݚvyFEzbJCjIjR(򪦈?bA34qBj(V4#x}: =sr~C V D,R,qՓF; JɣqP|TVoIÚV;֬)itc&!grhtf.nL*_&lyQ1Z6\ZԂFFSC4PC2}%k"f" &45ZN,,װ.\;N˦,wZQ==eBBw\g@e뷆ո`lײ_fCTW&A.#YF t_oEr'pPVXIw^Y(8UYMSK {tSȂ6 OQq/cV)$vBWWi"k'H Ƌaaup%Zi ,~'=+Y md@.0/,fcuxRUDB' 0Y&=JU=sN",|rQ<ph _].jK&HNր۩,h[H:y5^Cw"N"A:ܚ? R:<Y ųsA```+YUSK`򛔉bjם~Mh_ wIΛDQ\,5Y.i8;ɶeN, RygYZ4d9cad947b3342d437f25d5dfc6d38333f0a51c3c58d21ba3dc8b698b4c6d36f436849048b45c256 c642f89151926be6cc7824e0701f1f7d684cfe9b9c123146053843935f277f58e9636f61b5d716e5  UPF