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  @ @51 dTL ] HOL-Metis_Examples:threads=2elapsed=36.352cpu=55.276gc=3.068factor=1.527zXZִF! WE*]ŗXf1-q恈ŕ׬[p){tE7SS]%Ŝu+Gˣm\5_4 Ɋ@ gu/ڙsvr9e>MXp0Z t3?KAdqTluW34I\A Əo&ߩAZo3؜fr~Ha Iᡑi0đ)\OKI 2Z=Bm-= 4qXX|Fcq\=nzN3xRo[us"+zӊ ;G3 bRo}nС$MᐨIR'C[ZIVCp{n6KrqP@tᴅ&-;,l;juʪJ `ʊwŋHg-GMSQQ`5//#Kū gl'~K~6{F t4v-0݄K]v#-'Mk7m;F/R?2=PcxDaոW+EEFDT+춙6Up U,B,rolf_WiDyêşlhΤm"yYKG[ 'O9br`Falɝ3Us+MqF(7 'Y_?-Vط'MJs;K+4FDE,^ty@V[Z%4W("/T_ӯ[@|*?)Y޺v]ۿ܂K?IrhΊ|s6cdy'OD~ יW‹<_v3FEBv~*Z Yv_Pe.S_6S֌zQkU04UKw"1J5 laQ'U-!~{ N]VTjG\;a$^!paC&kR,_הG ̘,rMHRH|wFifDpUbڭwGY_" Ʈ4XgYZ7zXZִF! !]ŗXiɟ1$Cܨ }X 6^vWn p^k8htbg4ubqfz7yy$¿rGSW`+2'OD}H JFHQ=]Q_1)Bzˇu2Y1b dPUbL}ŠCCK}ADRڀ̍X_A{*Վ6zXUW5C?Gvܷ@NLpsˋyTBz+ qԪoiwD:92H1sqYtxұgYZ7zXZִF!  ]ŗXi%;"G % _U n%,NnT+*cIm$4;!BiCN.rYSj)u`Ʌcs^emH`uٲ0ڜ\1nA^3)` ᣨU ʫ 4vf {o:w1 /LC ` 1T 5AQCÔtA}]yTf )XkDMRtr\ąubWqC,Xg&3?uJ.95dz?:8u;񽟠2!ܚlA0x%9?!IЂ(H VbabI \2ӽJM)ěAdAxu~O~+QGmq6WDG۫!@lVd>h,1gzVlL6o`3kP=ݓ3H~{[_KKREv]ڏuuƻk8Yȗ2:(LIRBۍ<TM$^vdt'_`wxsOOة} [F|Rʚgaa-a~Y S~R?|0K$a%i% e%3X2ֿ:ZGrH{̸8=˭{uW /_aV=^ r~ D\T0TO^xm$gL닋/uWa*nvNu+q1%0(|3HmVˮ»V OݵȪHečV!xh Rd`.#rxK>qbZr/OM +sPA#71S!Q3cW]V~BP՛B+n?&֍@h'}XJ/N%4 qhIz*4=c3鳷 er[n(wz_NYͶKN67pXv7tel!?+}-L@ǿJO U0+&]E MbbmۚD۩[ǗUQ%TғdK1 /7QÅ!F[29r5l: zZO.EgI]-0b g2 vnm1&{z(3џHIF7ޯ@rFPM"º,(&Y+~󶀨}|PP/r5UlCJJ>K`Qp펶 !}%,߿e<%čD5+(af9BGUmGJh(s1!`zm(rTH^zrXR]Ydxlk ^="+36GŝzsHbT<h*rJJ9C;|_>1 o]><3؜tN4IQŞe9Ҩr3s Y& H6"2be5G΅awGvZ0/"4"e?q%G>èeqn16*b |%m̫w ٵ%t[eI7@H̼, =WbBŶl./RE7