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  N N'% <<, ]]Regular-Sets:threads=2elapsed=53.666cpu=90.260gc=4.508factor=1.687zXZִF! z]ŗXf1-/6vR[O CИRO!,<^6܁|kO/gMRg~ kj'X0;om(HH"Nt}-"2=~f/o4vp#+mxT\K`*W 0&gYZ7zXZִF! ]ŗXiɟi&w<$мI*0a)/~9ҦNJ9 Ím `ĝ/ I,Cvq1Z4u!&U¹[:h3ًlA<`P6D\V <] ]6QkھmP+P8q:lۤma؁pK v̷2pUS$.N/:/brbL}Ò,PMԸmAa;4f9? pe8ygYZ7zXZִF! ]ŗXi%;BY|zJ0Aw'pNJ-l.9U y t/W6YچA)B싋.9&`kro.o+ȏbTzRC3q (٥@oc+VOłx'(޷m}| PΟiZD -۹SY`̭Jm̖ ,g o-j#5(4 lCH\<Οg7L1aF躟3{ܬZ0E!SDȹqYwXGgʋH٫iLeB+͂8GM!bbǭL2u~CD⁘/O't*9l"3'՝`HοkM`jFtHV)_,KCg0MHT }}?;~RI]c/e  Ӻ卪8 d=>sicYyG9pR^fAMxj۳J)Vt \1`&G5 +l0 )/ొ6bR|ʩFqa;E0:cuRI7$LM9 Cn«~-ĵUa2FAŻj~N b}C+W=pQZw'u~7*L.F O0:9@";ß!znFҰGj\d.Ν'ؓpWaurPO#H-V*_  &P2{4kQAh[K~=Hr(-.,"߾Xx8_F+>=^Դm;;JÕAIQ8lpz!wlgżf3 /KO~LzֹM<\+=ܪɂ僕&u5BqGq5wIv垨@V:c#Mޟh苫k(q\o1Q%.,_(#E^e f*a Wn(5{LГ"~% ƛ͢ 7\'LkS)91nZ*`.~\I_EpYQ#3,RO|[ <1̤yh 8jͿᒆݚ!%W"e/H}mԻZPv P=۞hffDځ6!JYe6Ey8smp*ꏂ}N'Ƴ u5S 'ODWT~ |)<߸VYX@=Hߌ+±to^$_df>hnb_Lhn(x9OmjV_  4d3t֙?-t-Nwa.ftMRcXҪ)t 45hQbb%v*Drp3~Wɘ?;6PC洠57'a3ՙb%l 5>|#hVq 67o`*tЇB U5ciq[,1io^&iT%)ְ%v@).'h9m5vj-^Q% yW!<&V*=滗Qp~ ŀQS]9kD'"Mβ[KS|ɇ#߯'|Tdojo:XսC51O,GY`1ApPGjLV(=moIفFM$ϣ"[!1\bHUH|(cQ9:%M Ț{8f tWzGC@A0'j6#-sŢhvb!@VM<$!Z]ߟ@u}8lss# +'s +xx Yd{?~'I3= WX/1s><ώ<zFލ N)[EF8qasdlc4xOe?mٟ6/?lsHz4;8W7!@=ojh8 ľj+ULa tSvk3 bZɆ~v BKd0m oĄGk-y2I3n(nc 5aqD0UptJ[E.вq.PkUHXܙR{t]`?}ѾU \wo̹Pg3d/79v|yC9qB/<ښ`֬j4O%#XĦҗt5q B4 |DkɈWؼ ~48.F̓!&L"|v/>lw(ߔ(7UեehCA鈢v_NhD@ZtRbڍ֩XB1= ("?znd~1@o\^bX尸4 5ljM,)q]16-jSK'7 k4l}OV2!pM3 *N\LD}<~m2+o|pTap'"C0qE>q /u[`,k :-