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  / LT ]/ Consensus_Refined:threads=2elapsed=42.292cpu=77.312gc=3.376factor=1.837zXZִF! <$@]ŗXf1-/6vRZyQU]#%x30>ǰ X~\uεr_r6:5Vxfl,[/@fre  g<|o]W֢g40~ȓ nDgFIF{'oN :,سІD<<~|}( ڏ2'H6#OofX/(e_]M}x z0g5V(yU%_V}ᴖ ҥL*GKfע }j1DisIKCYy C IG_bKxGM$C= o9uڧ=U:r= ,*㱙-е-9 ېtШMR'Vȳ'U߂}2>A,Biiz1( ^_%kTM# FtYD+T=DI{H.F'/L릱,oěy@V4҇G"upbՅu1ɉ5D2+d)E/i7c^G \6֘`veyp9C֚NazdS^q5P+֐p +*6mh3kGVBqs?-"({{D b\r`Jm4> lۜIB8&|[ T3"fb4B>(余!瞪..:L NCCbm$ 3vi4cd'J2#HON9vzyB%<&0zplfl!aDM9Cר[K':!o+ &5;S<1*fX+׮ƠE@!>HwOđjJ]!\?Q[iOR=|`_ 󌣚& mۈ# 0֎ KFAo3ɸ=oY.k6@jOy8Mo\-Qe+k\6Cˁ%L]SԯL/0[hH/wXy m4`j E)n,6]0`71^-0yNyazñgYZ7zXZִF! P ]ŗXi%>gvl|:3tXV(c[޳c- f!S4#ɟՂHnV[??  Cq5h#%-UP>#{-lR`gx]9:-6}$3Oܢ).ʧ͹lZڔ yOkMnLl@L!|p]ٿBJJvBX8KccسD )H@.m Y(Sp_>-.Rǜ\8~g p@! G7e<`9lx^˱S (iQ Nq (UQˏ L&i06L%wu 5<low9LYlIs|E0PS]ƪvZ%|"W̢ݽLt?dgQ;^OdzuYhBYǮ#zGwhrmAB,êWZoD&_ƝWA^YK !"G@}k6 ~lbK!31h%&z4p:Pέ27Dw룃VprQoJ<1=ndGB,5k1ߒjG1Ls#S}$~ƝO-}!)LB!U}PnT5G}VǘTs8pC<&RFJIAL/mR}Rڇ,;Y3`xfk3U3S2mN`3>=ʷdw} 95%J\@:T `xԓ#kK| CV;wq΄*p^L'IQK'plåhjS6t-%̈́ )e*K˅lT-tfqv)XVͧIT(f<Gm<{4ԍlƭF72˅^K5-➌dTğt]UETX(85]sִhG3ҕ6tyq}E%/+Vzk~q"܂l[zJ5^?W;}mGr;_)(("c"=5?bG6/JԆ~1A#T`Cğ,_y Tc1ӄes6ħn:o4% 'M+Eg+6SS]hӮKqjG/y{i#:ԕtH7\S; %0wHcvG/[#v^`,+~Ս!Y Va>C1 z׻^I*K躻2]~P]b{jHbq ]ZbE1ENN.HoPđlK!1c"B:RhzRy/-$>ݿ4,?U}uy%Z;A l風Ԛ%좹(ʞVç3.Wv"aS*"]93 .K>Rz|ܝ8>i-= 8%%"{QȣA $áӎܜY{.xa" l"zC/~D*Yw2BZy(ږ6STj i9 ~ I* MhZc.}I1Y*X+NL/LxphGq͍n}X)C2I>`ߦ,9NR8H:T<{˓_~iaCeu=?R0^֫%8zqv-}yZuɪ`'`Q~JB բ9?nGQLa9\ep1$[|PlPן4:WbL>7W~s21%Kifp#jGj>ӭҡ8g`Ʉ<@..ֿO§T(ySVP C/Qgpܽ",늪n;ܻGx]L?)2Y?P#U6\0N\7 3Bj6lQQQwL/s@QNcum)C\:ѾxzgYZbf58bc1241674a610917cd4d1e967e1494daae2b665af98eb5b604629a3a80f1bd6c88145ac43a21 27625c6a71bbe28fc0d93a17cd760af834a4e6e7