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 [# $| ]S]KAT_and_DRA:threads=2elapsed=37.420cpu=68.668gc=2.880factor=1.847zXZִF! /<K]ŗXf1-/6vRZGq3۸,+|]-ۢ! 94Td# NB 7¡lRF%vhYݵv 3j VP@\j0t؝e.yb^A|xUpb˳ѪҊpBsZ1VpS+@qhēA!Cqˠ|.6z8ڊaERJ>goU7u;` mq8 "9r~~ta'# $BAedMq=yl=C%R~3-zKm7ң"t"AXvy # KAT_and_DRA  ڨ -d=shFOYI|T, [[OXON1/g euhWDZ%E@E0G 7f&}ۈ&Pw27;w;\"O3KWwmS?Mƻ8"zIG;w4-EID+^Уs渲w,l_Ol>psT @[jPO^?<K[yL:`+boRsrm-/]r8>Ip?"qU,#[?7&T eKX&O VX=?DE >=[1TB/U3sɲ" WçjX]NhY?dZDX'b7?t ?[ Śkjc&|AT/O~wbezύ -l{:(Jª.7\ ~\wo0ɋxK Xv6alu+mt2;Qsﯝ坉%)\C|.B {MU7r[iG% 1J %wA4CWg=ײ*DŽHu\!.0e]%s=\سz[Jз &gCZ{Ss@icq¨tOZx+r N!%r ;;VݻZpFd,pd^!^qgYZ7zXZִF! ]ŗXiɟ풂z6Z𭉞7dK-3÷4dxFTݦ!g5wR!& Xy:L0b熁kgYZ7zXZִF! ]ŗXi%>gNցĢIE8J68ߚfI.<jumx-u""KZFRzp% a46~GDZRL̾qر[QeNVT?Qc!G&4@Y3ʨ?/de˴: Źn'`_jatruxʿ&F,@8,sorIY漞cghR:VGs%+ije^KTlXkسdD~>ڷ`) ?0N= |P59A#T_6<+9Nw[4R0 cJmm].R穴Ն= J'Gk ,rnDS[ֿPi,2SE5!ܵ6$@A͐dcpXixD{K/qv,Ϗ EqFdlR:Lf\w+;il?IɪIu` +(6(5\7_YBё?[೯-MM$Ί,>OtQK8ϖ+`P6'w\K~AWc t\hd)ՓĈVHFl;FR(>={o&a͈ݑG8[`]] HĹ6lF(\bi+Z v;Q-Ija6m{ ӡh>_ܟ) $9'vߜޣWb3ʑA6-ȋh~Tn< B옝+97ڷE!QV zn}`k=駥 N∬K^حp}9kGuAXY'+Yn,)=n؛‚D]xZd3|{c@TBSd(;ېVLe(m-8&=|oʒg+gP-a UV ]1/*JNrNp1u^ٱBhTe/kf0D۰&D]*!oC ilN34 D $I0|p+j55rӡ+nT=paC; f:r˒~Db8kཪ(Fta8gg9t݈"F6+܃o ;1-E}W Vq znxi11%c;h2& V}jC`[$&% 2NC(xiukoTƵg7>pShuԯZt? B57ô>#wm-{a-!oW[^ԫ ~P2/Li˵^ yu[tJc{iR 'J"}g{}`Tr'KSuI( c]c-OoS+OĬT?n+6FM].)ss0딡bF@v=m%TJv*}Ej*`녝MeeoǴTjQұgYZ07e2c37e8fd309a605655b317c469b952649d155665af98eb5b604629a3a80f1bd6c88145ac43a21 27625c6a71bbe28fc0d93a17cd760af834a4e6e7 5c1fbeea034bf1799a14426df2cb08631b6a1ba2 164b5d2fc2e70dce41c9ba5101528a3720cca6727b46cb26005c2d600c3548ad5a9461933551fa86