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 @@=+ d ]/ GraphMarkingIBP:threads=2elapsed=20.484cpu=36.908gc=0.924factor=1.807zXZִF! ]ŗXf1-/6vRZ"P*nI16iT"'?Rz"=.ۺ .!j[Q9Vf GHPwo%"Z?@++*fc,TG Qx`3M mE*/DzgQ&ט[& L{:A'#KڹN /2o݄Y\4-2y0ªK{(xmҢZ]S\8yQ|0umm/%TQ3apގUd9ع'2 .*SsR<+C}1/Xz,(&HeY~]x(iBk@ʄ6w6,fRPTo_ -!̊&x[j~^=I J=cm߹ne@xoANl|u/rHg\v֊J83^ o8EqYh6&!to{}Hc d,.k,zQ%[X ,)$f<'`N ͑<虭+j=`Š_y`;ª7v#Km0~Zno ~haG.xItgYZ7zXZִF! <]ŗXiɟoptB"5`'''?D:JX58+kN8E.gܞz=` jaU2΋ZnA]ڠ+Z]uK몢z{sV7tYYp^M-`Bk{כ05܎mSq ~Haxmxc\W_0~ Ḫ9.ń ĿwID֢4Te~_^}Llk۪x]8GpeQzgxˬ?}z\!KoXt< O7i棉gYZ7zXZִF! v,;]ŗXi%;+*@,b~[GǕgIxԟ,y<RyU'5Lpw5յ>m9jՍۅ;X˩/1'S\ r>9dCmr%/Qf:!8.qoȿtȚx׃vP[x|0[3H^)!-+AC?[(L%.XU$= pD]ȋpmkdɱ1# rVNNX!U^ك@$-lNu]kxgWԣe=ρ WihWrka)IQ N)(`X& gN;uU!f178&s9SsTxqwD+:-H N2O>9.ZFY9M_0I&b7aG|2 %~P :VFoyǿԘMDPfĈ_rG}=\I aH)YdcD$09[pq#~¿2D&5X[& ttz'}y'I7񎨓;ꔡM¨ l6 %M\Ci ?^c Eܞ)mP4s`*>do؆)wD͕j6-j?>={Kbgm&I 2ENT&g#Iu~4ߋTĿKԐO+Vc4G./~?#;eQ.6U</F/XiN q*JPA! )wLodcNp˶fWCyIlϜ MUB?Re)a9f;/Ϋ╯7UM[, .XӖ u 7"9+(!'?°: AJh Qxt?Xړli P U W;ϭWH {14jx4;0Ơb}|CgEFq;a26F0b9Wc`8la&] Z_>$S74gbO<(|NYO#ה`4Zt[kզ(np)\Aa!Jz6uWuh yF +6nq=b݉Wސ{w4Uax5×e> %.JK+c ;~(! @ʓݦONsj,s*ɝcY#+=?rce< xaEEw^9p|^լEg(3ȘR1 n.+=3!74]Y2YɍP}8O3?r'0o) |rvW5.A-C<ClQju0Mu/~>O%t1s,}gQ <>EAVLlkI<Ʀ UveTxdB1m#@oYޫ'Uݴe ^n6u)w.)Ƅ=0+nIG |gYZ2721c1c41236fd61d9dbd9f13189adf948891897d14ac4c995dae0e54cbb829ef0bf6514a439aa95 a39a93e97d06226422815bc6b1afb8f60b4561ad + GraphMarkingIBP