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 ]]Graph_Theory:threads=2elapsed=47.207cpu=91.152gc=8.980factor=1.937zXZִF! Ci]ŗXf1-/6vRZ)yqFO[~QOf>:ﮙqP*VX0GGU $ra ѰN4 /-I7rwqgb)8{ m/7_2y^ HtZ֐n2$8JxmR(ԡ;4c"ƥMm Yp|l'Y{oE"ts'.Լ!>aSYkC£4bNUy"VÙ>­nH'+6$2p{zCWQ簾+௽`J쥗;_Ơ54)q}ScQ&-R R `GgVPRNU#'YiOwŔ3njNJhOl YhH* *G50H~1iL[kW*g^߲7gr~{*'z揾qZH^?RJc/vuSŜE^9~p4dNN }DS *Mb/+Ho4WZ?7w)'<3Kn_t]519PLz SKft' Y5r. E:4@ *gf TO9֥TtxV^z8F^@$E84M)Sm8ceX27k"]m*q2AY es'NAuqH*㵺MGM $| ̏m#'?V?vGf"u.V$Lx3 ;0 *jkV];8h_‰s'0|kUg+_c`x{H{x2s',[pS!-F9l V$T6AAt}GwP5nn7A@9?;N8V)p56:79M FcѬPH&)\+^dAōۅSPo욚)uyzr&H\>L 3:u?]E1ֳ!<#m UqQӒ)zUVAT4<PZfXzdIzs2ZEy/5 7,c,g&ybwHX˖h;aUHR+H GJ822(CYc㧼UCX(/05hwJ\^D(0"aa #R[|Q‰ШwG.` tv[jҰc(%-}(`f[/ķt#iƂ} d$lj"m syGHoXq)ULcpbpitV\qF+Vm54A'M?Qp}ǧ_ q$v?0'Fq]5J5ӕSH{oӚ0~~N_V}57IL\^NF .uT #L%w[I|&7k3㫍riߨU[d#(3wㆶZU~WqDe-}21 ]ݔ߬h=HVkzl;\q@HayP` 8 EmBSwaN.;XCcܻ79"N*"`6pR1?x7+q1dCLׄ1nj{6(,8%=~٫p/)DgNb@ĉqӢ[WOB :AYWB~7'jQ6E%WhX3%6?Q7[ud+"$c6w!"jO kqQ?#TXnS+I #l94i! z1"ب8RQCHNN/aopn81n*kRԗ:HҒdI1HmğP:+z@/Yu\Y aZR 1/B^#!b6hy\px`;@ JBd-7spiP^>XˆroANP&%G);h[da;!ia}iuq) Scu~vu e2.!O%ϯ*5I /vD(67k7 3h*oQ7S9尟QbEb;D{骁oO>z-[%ԣdI-Bᅬ!;CRbFi:@jH-M NzA5o}^P26ɬQVUk,TS=*`ƮWyte)F7)+f|G4C_:DZr{W<X`USrxɧ{0Ӈ{t ΰ$L'ߠAǥ30>`˜ℓQhGl<#wCG)SʍzRة(sڔ֠z+lYa]6*K)XBa&ہ/pq!W@6{L~_*vrpj8Wל% ڄ&_hJ/Tg WI4}nɫ?{1lM2uԫB|Ā\Pe[RH78DsiVg#GpWۼr&W^̺%:%aѪs]萪I [і"[Qd"fI|L~d w=~"~]u$ppd(`XZEqwf3T'ZXGumi]:7PZ, <{v/x3zoXUycs5lISD /W$ irΫ[zsjv Ât>r0LG~MkuV>d CqKᝪNl`TCVmC򣔳wkj &en]!cD2畞Rd>gYZ17715f751d2f8bef0e9147e48a9e8ec31ca24600665af98eb5b604629a3a80f1bd6c88145ac43a21 5144ebd7f8a7159ba53f7601bdcfe133b83a40ee 86aea4174b1d0393ca3ab4a58bbf0589befc3a01eee6bfa1e35fdc476e841e3397c0915627d0e20a