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 ++R 4 ] Separata:threads=4elapsed=9.149cpu=30.500gc=0.684factor=3.337zXZִF! ]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^Sdu~F&4$F`A^b2_xhYVkc3xjv ܠt$Dj;)L{_cPR$\)[QD4QqSq!8).B>02t+\PNL۸(RC{s_vQnce?r6y" $2OP.I$) g*'aʍJ_UR[¥R[ʛMJ Kћj4j'6lL.($RfQ݇KWHBW˛ q2b뢄&-di#B֚gYZ7zXZִF! 5]ŗXiɟ1J2oeTʹ̰KoMr4'[GPP R^rс2_ ߂͗%8a#z_r>b4x mlYP.1z`L0f hxf]Bk%GgYZ7zXZִF! E]ŗXi%Eb⬞l)je#QWO"7|)-z@Y7)CLп:gBirm^Dx[$"0[GM8˗#ϣ6R#Vs̓gCwfql6grr++A8R@ᒫZTN%ѕz%_Jl5AyE"4Ҵ{H.!(JlA՛ yd{ꜧdLj>uHܑhJ2k Ay8?;<EȨ?JO2^hsu֑az2dǘ#ҎnKA[UF(X~ Hqq Bp9f<^'jI݊Ş].#G̛'YQ !VMV?kʕcvVjzt g0N@ꊧ"`avq& * -T}(ŋhB "wHd۝OWL:n=:ي <'>-~ިNd&I 8aw i RJ7dj: meˆ)SyQLM-GqhJ,TV"aߐkvbJq/,F9X*ޙCЯ="|6]Dp8duPi±"PC[Mm|B Jq:[ Fx H5镯Z?G_MFo؅2!IXO80lN: ;Hl1{$FSTO \A<%`ǔz+@;:A$d ۡ{:zOam>+m&H Ԛ|F⇟6/RLz뜥ćKj8eo=o5Ƞ mt)o )gE9б|]O4͂~J(F?{.Es#UW>/5&d1F