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   k ll| ]/ DiskPaxos:threads=2elapsed=51.201cpu=78.828gc=1.580factor=1.547zXZִF! )6]ŗXf1-/6vRZ3`ivF>qee#C nYCH6dQ1V$21ԁx2۸ԠVO1lci~TȺ*>_v3dдsdsN)kFh,PeZ[3}Vv2r =)U?*kR1ӯqTwo#g]֍a&g GoBk"w)Z#ua_7 23wF7>1_հ .VZ~o) td&a u"Ð(R⹛.gYZ7zXZִF! ]ŗXiɟֺ@OAPηRY͝k{P}SSc(: }T7zgzɸ[Lo!V`1yv'osq%.s EKrꪄ|koZk x?q?/ducq˖Ō5_UMjD.XLgYZ7zXZִF! Y ]ŗXi%>g"Foexy-1oI Jc7=`.B>CBR?([v~2`QiIDw?Z^?}S5eR ^GV=_ fMʚgXBGކXjC)5͖%6SL rC B =23_)2% œcu/~i:z:3bfiq%mZ. F* b (8di3gȣժ:\u~X >nHoeoiR  `jf r-թ+Ȱ(K4xn= %i)l>'T| q>@9↋tTp]x;["RSu"U\Co7 r"ϙu qQ7IllWY: >ʳ"f5Zb /(>jޅ.SC~Wzd6.6qgxg&N ԰)41V։SiRr2S8*$[eD/`\p]k.9[4Y7V 0S-:!OZ~M.cS E_疙BK-p_ `$9S*ZgX~iG}])Cэ^U)wpfp6juD\6Dl W <tZRX11џbV78KY1uE% Er)sM¬K>ΛpAI ^^_3frB>' P uPńiޔ [A?Sh[ecT;2]u^& 7̐<"jJhUtH 9w̰冚Y8hϕ PyAHj-WTdj'EAjn>2[ 1>xgpgŖH3Ԟq:NW[[۱֮|D+)C3cK$KX%zadZ&~-^Mdx>>x(#,ҮfWiseZf{l#ʈ̝ 17gbrWbQC4~Ѓ`wOzQsդ.]:VO|~ .ScpVC8D|@PMT<]w_DblD6:+1|"|ɡ=봺BjV.ә:yՔCVye"f(Oi\oΜW~'v=`rjra cv^f5wּ^ DUlj,̮(!먋eL9Y(.@94{~{#EQxoLjR\fXo{t2+& ;.9$zj m$yUSZ燡o;٫ e@Nn4 0Ǖ0\ ]ښLA@cq9jԺ5dkFyLX~b[V/.1=@A,M0Y% ^qҞ42WYq'ϽPf:lGr|ܚEk%J!HM+4 |#!111=AԺbqFZg{G$Tw .񑾕(Uc!"Z]H|ԒڕEafr:Jܡ0(5{=o\#C$k│BEZ+w/^hJ2½[/j̊oC->rqm\&qp[$1sFd/v,Hs8h#P?fg)`#>Lr˼2MPI[#=J`Lt n%k69Vx݆݊%-P}BJTR'|IpdY.H@qmq)m/>c~P^%iM ѮMLi$NP[oj_=lz>WA.2tFÜzEp۫D G Jʯj+׍#*|=og8֋"|۷ 8L V&u&D B54e _I^D1n˜3u ZRg=V/׸u6[°">U8iwS )P cT/ _ש+Gp90UlFi|M#WʌDژz)˱gYZdf992d00d349e794725520896c82487a45329da1767d1abb4385cc0848829909014ec5284a74f26d f8f7da93998fdd1c52e2a4472eb3025f88ab3418