SQLite format 3@ . BBh77otableisabelle_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 % T~ǭ4v!2boSCy~*$rJ*!kd `kAįC`S1q ۰j,u s3,_ҐfOQP^MW1SyEް 3Lr=sJ :[KVt(4!pYڃ?^K;=ϖLF&w|I.c~@CKE:; % Regular-Sets mwjyFy[wk4Gf:OnRjh׈mcE9uk lp4WJTf: NQ@Ll.Mp9Khރʥ:LNҕRZu@ֆVωDkg{DPA;LpZRLL$}/PQHW* v&%1*# !۷mXl _Ze.j(tBcv`kر oFCrh׭~ECa4k_l{qq*Eةj} /+`XK2HB>}.{q[}'RaQtz"g8%6o9H7]6HL(k#Sc`?%5#=Xdi\mǶ!*t;Y >/~frB8怜aZ(9QJX+*-'pP|ta}-' 3]Z܎nO5Wc g8h$fݬWL;%}pMATӚ4(M`7]&6hfns[Nv# 27&,̗5du.l^93;o3b:HGf.%ZA\<11%A{rA+h3l9+cl-|; ;@FjmlBN T@0##֒X¨Q;iWi _-A,opj}y?wN,\CZF7HE~wMH9e&qYTmvF4]"1B..tWw³jO^Am0W]H9GEaVsf=}'8Vʝz63-K i xs|{ ֲ{(Wxl93g q &oJR'Jl2LIYɐXSIޝ.B.OigxZ̞#fۣ%3e?"pS+Cq6͈lxşv@|⻡d@i:\:5yy.zzz: MۢT/_Y@u;^6?4L1A%\b7߇ANFF4(bY3.5鸙듘7ئ6"eMG@J ڹpzۥQ(m v#sx^[c:{x{"gFp)g(r6ħ(H㑹o<32 kfepwLIr4\v`撅iz<%\W꭯+I HKGt%S;yduƺ̒Mč,ęZIY!G8D mVTI(Ņ*Tl24n ~;xrJtk d  "5P n]Gr;g(YȋK (n"8qI98 +P BՀt;e"t^5tmj l aXZYbS5CՁkϊv;A2:쇾LQ&b 4GXJAYNpt91+zNCC.zcـ%u @?jiհerCJTl v&RZ~~^$̡SX3N"TDfMky~ǺeJ7S, ,ڶ1N#ڹqe*:Qz|[V&:XͶ3 jų?IF%θ\qL+`ݪlm ggPH%C)[u|12(lVs/&?7g4*7eLܸXZZ[ R45gz^rͪqi^!P,zvDkZV?w+@Bb::*AZ%v3>QF3Z\9-vk8p1^Kdvx &W{Ks:G)*3F/ZQ. pMcgWYQ8@=<2ٶ0ISAx|?;z`mKB,iXzͯfHi*It5MCbg&TƬ3{@šNH~u1OtLjR_Kρ#kZ%󬚀+m# *UC7_Txt[ !O^w!7>'a <B/mɋP`yHaG޲7ӓ%2B L-t|r6\6