SQLite format 3@ .0:  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 O) $D4 ]% Jordan_Hoelder:threads=4elapsed=10.361cpu=36.968gc=1.216factor=3.577zXZִF! CJ]ŗXf[&ɉOW !v_xld$\:Vf7-A!|=987A+cZܥ}TIiYER䂠݁5hj.!Q r G6@sؙgnP|ݓ_Wz[^}yv׎.ycR,^óom0#H 8.;pU$cxM.l~ίH()+RJ.bY7h8d5VADA ٧t[PW|vpJAQ}٭ǂء0˫QI@Vfo{rbigh }|d[4 37gYZ7zXZִF! J]ŗXiɟNGV/}YHE$+N7\Q"^_^`0Oz{ǫ%6 %Pn%vZ(H):b~ħ N5j$j=6xIţ&5a?b`e!3zr5T?2d5*Jv8=L bخ( ϰ^6dԷ% ϝb$YԦQʒRĶs-qWZK@HtķGV`u+kgϱR~RK$:4o \gYZ7zXZִF! S]ŗXi%B:gЍt&ξ1r%S|Y?mHQC;MN)iMG骎2},R!Mh9KǍfqٍBb ER8$E QmnnCj,%F,E#ÛS !qurN'dE{b !G5n9kPh]KJs1>O(+a 9I/oa,t v/@gIWUgq(ZEHzӻM#1k^Sm;mh S5rᙈ[&$ؙ%}ē`}:SP,Z[VX;HZAb-Y7NP=_y yrב̾40v.ϝH+I|أy pfa - #e6̧Kv푶.>몂o>FU'f*SD:bJiD:-M/gPaϓ})6 q]+:zaԎ m01גw=0/C>T>^-ʃ?HJGT"Nklbb2i ,ɴ@"n[>Eb ]5#sxQ]KEBik](g#ʏ.:]p;g˃T3ZcD/Nm-=8Z+ r=[ʜ<ܿB=\vtb6 쿸? Ny i|zF89-:t/[\S k[Zw~7e[DM$QK52h%ߏ 4mp 2 $ܨ%O ƤN;ǕĶ`ߘjMۏ "%+Qf`; E[|zO& ",gYZ6a03c3c9dd1bd09c7a1d5124cdfeeb25653018c213f786b8f4762c1203e3da5c15d634b6876ecf36 7ac514d3394501c5bf6707600eeac5a1d30a5454 8995119552147f6d78790acd1b2d4551c1ffc2d5 b7d4e5bb0195d6fc78e68eaac929036d7f4e2312 5ff326779a75d5e7e788efb17330c4426bbb69ff ) Jordan_Hoelder