SQLite format 3@ .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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  7 7>+ T\l ] Lambda_Free_EPO:threads=4elapsed=23.730cpu=85.212gc=3.088factor=3.597zXZִF! 5#]ŗXf[&yAELk};CV3W h?1_=hiVg+6 ʋwݥKtioO=o>fTԊFvϵCWkYxpîYv'aӃp:P8}TA*چ+ U|hjf63):D[Y`4DUvհV3Ӭ dK({[Λ:|8JUMf:u[k]mW+v{jֆ3W}N /@g|Ti_ P,-of E|Egm SMXfZ}BB.X6PLSgҜ<싘,0T)1[400_OSgb3f,1o:H7d6ADQ6mbG)\|ip#*bdgӨ&N3jwGæ*Q=I |ˏz + Lambda_Free_EPO  ѫZK|^$~ F 5-ɶXԱ<>=ȕDwq2W3mЙ(rǕGLV zHOjrqGl?F+&q';HY]"5?ǩvtM F@P2J:HCwRVTF<k`[iW@k35\ 8=MޱCLk04"cXw@DJ|O&U9ĸP ^$2d T0KiR1r&t&9VK>vgf:B䵜W;FN%W(e'qgQZnZsʦ[{Uΰpx S&6:?QĜ "/ٌi~鍓Y uY^(1<; cQD{zM`eC:KS֊y蚜3SGeHٝ6Nt酣('Sq0!XCfSbA-;?0sқ?:m(=zفga6umJL8F tZ/#oo55ل 70XkjW|UP1=p(ǝ9f&2]FhQ{K?(|nJf_K*/[D&Lf֯m򣼴{0&m1fA4rO| jhgYZ7zXZִF! C&]ŗXiɟ1?ߟt;9HK?.>e7"||lT^SrtffN\G1y-c/ yǒ)48y~=pKT{Muv)VZ:RXsfeMH,w0~Ɯp90oG#bi ă@kuox̨" :z=E)/K/!T 8W)\4nw}(eJ_Қ*mm:k3=Bd6c9e=+[epɅ4ܭ4] 4q<2̀,(26IUHGHBL.uv_;?^'= YB1OOyZ!&]j]s\!Ԑ9/IŘ\R++ǴVs@&y#O3Y8y0ߺ[tk]d",?nsgJ_ɣoJ]_B jr]jW7xLr}*mעT5^rBR`+ Eϙ0#Dj'/1ahj;=P{h#'j9 HW) |7f6\M6UeS?սe.n'L0+'3ȐذORٿ¶'0& keinJH63De]'PPNCwyVu\z['Bd H*С.zĕh@N/uYcb4܏ 2&$O&w#Х~^[Y`3&XH:bb.&O8/T?|T-^5K>AbQ=Hbŕ,mq4gt;f'2$Zxq7Nѓg&Ht473Y6 06ٹ&TE֭ `}* _M"Zc6($34 2CN:9gz|7j>ZM'~ofFrWnZ m֢s+JrF_)Aq;GP5Vq–*g5V~t).&(.[}*-@(^n)~9y #.r7 oAPp]iϺg Jlf :=$ q~3k^8-$'1 ; 7bҦnq-ޒ.sV /&|;xZ]2 nq*B[h.>x]MBKI\c"(U=ĝ ."L/[1Ak(*)f[(F|&qsBZ/V~;`yhPYˉ6Eg*v ƀOx{Em*%7bFwEjZŽtR':%%'9Qȗd U|IeHN]䚏7f@c|hPp)=b=IqStˋ%Ft]ܧc!1Cm{ѱ~A-&j6hn.}s+4o&7} T9 :4Tڵ<`g'+OSJU!Ci+S u%HV/M4UKڃIXkYyddM*&3߾LVI s|j2B~ҰWk̽7Eq8 4\>Xr OMYR) :JFz lof[v^T`wᬭTb?q5uXͬHP]식Z2 bh@K̠?`/~]Ksx{ei^_OЮ9 +NP|(`!^ 1> ఢtywO\T#Ǡ!H `{ %A3Ghd8HGU&pL}2+' iˠG"N9uB޲z6 弗$ :SYJ0k)sH%E/Տ0;j35FI9}MmH[+t5XQ4ۄA ;'%p l¡ИĸfοggYZa326b533e0ac4e0d915a4a6c4d79784f34c1edc0d3f90704504dab3f9fc94e3d143d1180eb260c4a 27638859d3581338a14773da3f5cd45c4e2a6773 8686c2ae035c3f9df08c093ba8385ab4fcc4e84a