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  4 D ]]LEM:threads=4elapsed=35.039cpu=93.088gc=11.036factor=2.667zXZִF! <Q]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jpo/zt32KmPSHf/\A°uqeB:QFm3spčjm(PoA蓭L+m\wʒWh#f+.,FPywL {́W҈VV<^qVҦ6x1|Z\K@؟ fy) G_ *mk+hCq>S$9c[Mtn%$/7A]ԕ^bC@Ó%u|K\]*_>#:l$03yi'J8}$I_u_nuǸ$nLT.8AfD_7U7բpr~^b&|&.(Z^O<[iؾЬ)(bվlNn;d$ @]*o}+CGuQ\'рH߁>\n:ĸ rpћ\y]lA$(As3|WhKkZp%c pl1d[Ǖ9ۣw4L mb'q8dgDK7#5L"Drzm"-e׿ƹ癭пQbPΘq dq Cr֧/''KM ߹$mz1,K,X`>,EKG8UЬ5g5Tvm&5$_W^ξBu|0ȁ(Y4VӏU ހc#U ~2#$asI*d^'ҜT`V֬%+@Xx3$2&3!gO|252Bz cG rA1EMUa֭Ш>Kn:)@+#JMﬞL`V]V} } }'oqY#GWx;m$Sk/6ۃ-* IL~ ZmP~8,rVǗ*&9  9[^c/~V ڗV )/™obokGY6D:Ar&~}Ď1LOS4+t"u̚*Wx}7{M*iXSl3  LEM  8%MX@abN7@(]S{" Xn$by?bX[tű% `?&W:F}㟫JNG} &$ g2RdEj!ɭýd[z3- Ñ)^RHYUptR?RWjs$ءGoE.e9l}#RGj%(z,lAF}PMЩsgp!0}$vc5^%:(LZ7bJ<+3Sg H6]`#)x$ePr]]kE܋xWU*qi|OaS1]ergYZ7zXZִF! ]ŗXi%G̉LC:`Q^G:L/[G}l<2%>(J]p|"Vig$ G]1ֺ{Eb R(?S 9+ &朧r !X'^ zޒ5Iꇖ]iĝ>yHLN)"k>8KH 1\]Dg4#Ԑ s::]2ӥ#U :pvHaU_0퐟L/oWDWqt{~ڮY.;?+t#4VAJJsf#&rp2U[ Z}yUA (xrU&=혅WnUy |Ȋƽ#p4G3S&= /T䟧F{X~.BSGSinjHS'-B`nUwf YVǼ|'֖ 22s~E\e@Z1K@e"ڷ6i|nٜKMQ~'ҧiuDeq$crL5l+z:nVHfSQݰM[tf*)m,OxHYdc  *OϾABy)+|{0o7Y13 i_W.jf(S{e= ͠U>ns[ I6;[YĎ%@{ Ô׾ \ʬ 3m%Gܨ67!*IgIfzIM4-gjf/[|dLV?jĄ s88a tH:a >tBoY U}x )͆f V|luw "ZR<8.AfUo+F;GV+3ȫ:<$&.Bž׭!g3mZy1{sMr go '7?R04k60o<٦-Sp6(ԦbӾ>$eĽQ}O$ϿZGNA2 VTUHh)BbSHC{S`8U*t۴7 7OEmiʺROԻԕ%gO.ii݉]\fIRL԰v`\=$W-΃e9wҔ9+O\~]dȇQ01p6H2lRրs~ZNVWU&ӕ)?PrQߑepiZM)c2G~.YdLn<ECNou~(]hݲNr3Eh-"G@5{M?X`29#;bX$=5+~l6 &_Z;ē =ͷ vȣ *É;N`fVq4˜cqC|xEMamk wV2K3([){ LOyXt#DM'F22le] FzMԓBe ?z'!YlB&llޫ84'5],XZv^~#aNNy[c`V6vFYUzmA/;1X"'{ Ba>Btr#͍0RU~[],xS@ : It`E&G\%93.Q5(A]5٠hٕZ )hKG ΌǠ4ո gzU_& lE};`/6ӵ3 KUW*O GAL}y %7DٲDߧԜc޴ !>{R0(