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  |$ ]]]ZF:threads=6elapsed=12.612cpu=44.448gc=3.120factor=3.527zXZִF! F]ŗXf1-) enȈA$jB80l,v8-qFN}z1٥G_ckrM.(wWAJj[?mEl.B3PO"+avu( 3R ]zk]f>7nf輍%s'#$4ZJblMC!&ª_A2ieZ&=C'G֙HY\gr<55P +ggZz*1g<1 mv2)=DdMODAuloDdtr6diSn.XfJľ\qf7R0U;M#'GϥY MCFj!>F=Z)&#aN1 /ُs.zj,Gy];+:q\h/M3ko0#UI.`)̙ޭbJ>I2|z]FxSwRJKƑlֆ=L! *jCn>r5x~`j|K 1CsbNX)YD ' EW!aXuXEDC1‘өfĿDPܗI7G& mo[}S|QoؙˀkYә_1A-n^ RKo2sGCj+w96zLg%/8>o!Q8[F0BaEkk֓>uRv TyrwG\tJ3bO ]ŗXi%>"X1Ac{ͽwQC ̭mW2h54XSG( /Uo\DXIpi؝b~%,nGuT7⑸N j^)ͤǰ*k\֓iKRR+q\({#p zV=f#`[n$ 5\Nch*hlG[fck5Sr&LƬRZ[0b0$wL{{8/; b @J 8P_Zdcmfo?; ^5ʥN;7'+g$\2֨d:0Q>  =N>&K$Qgg-F:-(ds)8bCi*eZUZ6a/UH*noaDV[W<6 ,6¡CƱ ۯ[VJ V$l:qy+ &~W"5{9;,91k E쐏RY)!y[Ѯ ֑o|iCD G(N=kZrF IA?kE[t0% 0.; 9>PQ,M,PQ|5U 4%vso;=e_H.*I@/z<{Ph h&g &z7J`}2C&ӈ'h¶n>14([P[b++\""u%:9i_1e~E,DtSB[~y,W~? MyȭbEMNF|m[hޛ>[JJxJ@k۠.4)27:fi38ON~uPh:&Fa%'2-*OZP78f(vy(1 R1vsuyMǭ2`tƔyPtW&VbK}}$ס\g!͍quTaPǗ]p}16L,'Z#N[? :UU Z6x4gaH/E2R #dIn[P]8M5ȹrxj'wϒsGLgFʈL> ^&G,9GWA͸C\3aerlle k~i%z<';8\c;5{]oXv+ O~ zJKJ9Fg N;J7h ǚaڇ*I1Y9F7d!k:e(Qɬ_X 9̥u }^4gYZe5bd8afd468448ba694fdc1c28f247711358517538c951d9fd14e9e40ee7e0e1341b1730469e572d6a6dc6412758569077844524503ade4e748c9dfc  ZF