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 [3 |L4 ]S IEEE_Floating_Point:threads=4elapsed=26.080cpu=74.264gc=1.916factor=2.857zXZִF! $7]ŗXf1-q恈͐7ӺV 8'r@ʷ ZxTi>oiTi=78 od&V-pf96"t!bTVB.`,kt$%u%#~ M]ؤ~#a!5Dc_5u!H cSpѾ _4Ԛ/'!\}s[C@yݵo Ge\N3>൬t/)ZqB8WE QQq'h ^ K5ϔѴ.iɓP:hդT &ʿ޹zg6;ur ɒ+ya1HJ.D*D.hb?`8⦊:nӜx>90Ԇ ד. A)ՎgH'QS(ԪBR.J#} e$'!Q*q.y$QmDVP c zCB5*kEdTP(B@M+ 7~]:%\) &;\ܝ< ^')^*PSK|,{PN v<ƙvpn;S*G7cd U=ӯQsslalja@M:aLB>3d̢Hc2V&xzbxg˥EcQJL6cM"[G`z/se f}ʰHZ* @ lN 1&gYZ A3A+ IEEE_Floating_PointIEEE_Floating_Point.Doublecode/export1.MLW՗K tYƅ#0D{vJ"uh fWeuDa~Nl uomAC>.GjWY9o6'K>=Ʊȗ<9=0 E(^wsڲ<4_Zĭ1$I'ޱ_B:5p`9L<=F +Q9A狧v(ۚM̕Fk_3!~㜫U؂"X׮k,tQ#gvGKZ$E~|umge7kX} wp-jа3x=r Pbay@vw! Du&~;K-X<!j *@m2_z1Y1 ٺr|S18_Wd,@- R!Pv]qx`7Z?syIv{Dݔ@ōSܛRnyVIC±gYZ7zXZִF! e_]ŗXiɟ1˦r+g'Dgr>{pNa5RJ)r)9(+Vϻq%p01oX.^A x4TW^}tFME)7Ʃae39Φ-"줣`<9hu{S*PȬHxGxgS( r0X/K<mpZj8ݯ2}娓ݢoǔ 0̏!CBXN"16l6>..$@bNnqvĴ8z;!;gYZ7zXZִF!  ]ŗXi%G>s}46HvҐ2PcwbHho/O-p2iFԉIfzxDj-!DC'$+  ֽu.ZwZL²YzsMXDnz :c5g 0ovd78!Qc}<>;— jr oM&00YT;7=zķwJ1 䈂+s#PKaUz(nX]³Xx/Ttˢ1Rw2IR:wGv n 16VD} > w&Oe+_QiA' Kg8pO"#pd.[K#*k%B71V~fD7Aī4.g["%قw-x{wHh/) j@mHz5&ǥsn#&}JOZal DI/9p/S]W֕~q:!PW4DPƙK*Ņsb?Ӏ&ǔnkOf4\4M ,Zaӟ#_g.>^kF1ߚm</EZŠyL_Se$GNĬ,xvf GJY^w2 %Xjwv s { bWs ]Rx[T2(߳nC /&@k\4!wyDK IͰ>󫔛o1%Tyaoij!_U@u #`W󞗦T?A;bB FBWĸ~tӂBxm`NbQ:e8SR&Yxv$^Qu{o0}p8RB+28fd+g|ܮ]b6:MK;ZKc)˄I*[0D/ P"͝2h@C:Q pq'*9*= ؊w~V`!i 'Qlp.aFzἫP (2Bht@skV}v&e(Zi 0a|>FWrn,eP;λY L