SQLite format 3@ .0:  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  <L ]S Lp:threads=4elapsed=23.730cpu=79.060gc=1.032factor=3.337zXZִF! 'V]ŗXf[&X'y`T=+ˡ-(uAVw4uC4EA tsvme]0Pc@8&tGxTt}?v@l9{skAQdL{#y. 2Sd6W KFHB@R&w߭77f!@fG8ubm? ,g>(QIi قYu1 I&86{~_oSUyQBK`mX"Sb^`MafH`:"U{:S ZP&#"_y&6 fHG F=OEl@@nsO^@ G fT:YbN(  Lp  (]pR~K3EUaÉ7'*Z%efLNN# #4{: 2od)2oȦR=p]U4\$9ӝ=]jeWmxVXѤ[ U;2[b ^c2:s00MM?%g%\DzuGc^/>z͑]!"\WLA%, #)Fci(&؊[4c 7x4O @_I3t7yWp\~#K`RzwMl?_%ck]"7d5ډ;ؤ}Lξ`Y>}q0'8nvQ Eq#:4~mLv{sfࠎPi`N͓m> ~EY\v,8j]R)I-vHOM6UIJA\][5LڏEZ58}Ĕ?9 ,(قg3GĭqmɊ>'G ( :>.B*#I gYZ7zXZִF! ]ŗXiɟ7 +W*2TG= WbzAYLh 7qↁ-ku/ Qgt(/ϐщGfOcbՊ-(QedWV~ʈ!Ily_F,-L,oL; gYZ7zXZִF! ]ŗXi%BmR[1-ucH&/c |Am.:0׮X,]Zw"m\Ì ov<5.m?B_fT D n@,RI&p~!\yTU:+坴AO<FI&^}$<:uĝ8g_&uUh9UP oŨ7o`GN" LmL'%ӕe73?Qλf3qBCVhD_PL=tr#hk'D-42UnHVNV4扇Gfzz "c<>l@ׯ= 9PQ8%9 >מ=cw.NJ~:T) Ol8_X&\խϨnDײ.K^kϓo_G2 Ӳ Z`v*. (iL{AM@bK<^Q7N$CR!_uZAb.*+ӷ͵(LDX9M=f1R Ji;OLW4DHF2$YKkm HdL-}&De@UM8n3V2 M (.vUjOB-XAPL9@,}љiNyӉ 3͂Bӳ dr^Ttrv,G N / ;bH"-ژ;H"b܍%Xs٥8?>Rd{I.[Ao Q.1(Ifм6ט(ang xtEӟsL:px޲_HLam^Zܵ5Аجc4-xU4N"dt߽{ӃX\\Nr$$h+?$mwB6V h9_?I$"^+%QӐ;pX 1A9/?⛕&͙ݨ7 ML|^=Lb낻U6=X FSnye$ufou=Ωro4d{:G-#b&CjρNnJY U- 75uߝ2Il"=4ݗP1]d#r眸\|~j55}=:- wh .R_=Ze:e&I( O-ʜXs~yZmfg,戍CImj1Qv |zzSf2{mB8,=}>QFl>.xtό]^@47v.@)Aqx50@YuwiMD4ڔs8V1E O@9ؿԑkUƓꅴA[5&)[d nX/D_W-]wf 81bje'N.DBoԱ^W@ΚjdHy4جPB8~|+F_h=/n:ݹ`}P(m$(j^ A#|oq!ߨvH \5LF6͜ O8;0()ȬB*S/`]N,s,5ܳfŽZe-EomI[ "1&E!=gYZ3b04eb2783cb0275407422e88dd0805265fe26f2ddbcbc2a51857ae6e2c35d0f0dfda0600638ccc2 0cf10e45680ae439599dd1e4a9dcfc11cbb36022 c8b147bc048e879a9e91b707afcf0f8a9db48dfe e27f2271a8c8c707091f71d2a6f88231b52a7ee6