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 $$Y' \  ]S Budan_Fourier:threads=4elapsed=21.508cpu=57.064gc=1.144factor=2.657zXZִF! &]ŗXf[&R;~iY x$}2qd 6_e.׍2BXHa0fiTHDVzgac0[\ hMv]3h.?c%HZ4 E~Aq:aaipAG.&=IEzW,N눴D4h$th5wX1XPQ)aȕK0{}:1. 4n'+z36!;$߂cY<3$l'" YFRf^۸`ʓtIg,# w@2Lf@ ҹ\[bD9{\{Y)sc6#@=W,'` "6R|j99p3l=*}w&b1 BQXct1P f֪X ?rxGxYȺyVoUNJ,EƴD nI A$c xT݌n7?(++/`nVRdejo J'ӅjqøL$i`&119Cp֣^k-xsT/ xzʄ?ү"@# ,쀋1zo7f!\=U׆ny֢Ug Zى^0 %<`cDr؜b݌|U=| -W ݘIC$in]aVhr<WgYZ7zXZִF! ]ŗXiɟ==M*]0tI'ZbrClR Fe 2?NS?rgy5US2kd1ju-8[YWo1g`?޺ 9PTpS+k"»b<p(dX93,sjz mZ"/HZ2E=gYZ7zXZִF! ]ŗXi%GgT9`4ɯ/c()CƖѝuUMM ږ!R+KQ*QHݘkҳ}ԓJ38oWJcu#a@BgxNDI:DHX-znhd,|bʛ=p&1Rs )jMTTuRe2s=M©aȋf I4 F& &1RlxK'RLBH(W~UeEuihIB1mZS, zHFL)'SR^~ξ՘VŐs4-b##%@Q`B'fu{Vzqn͘{S/M8P(DECN1B(ÛqМ]72eTkP9nMǞ֦V rf;T CbnPu-|pyX9# 7y s]$35$^m]K.z]4TêK)["Ͻ5ߌ:YHuO [n!'&[Il'ݵJƚE,{_ofڂ)w"&%,[L rtw &Cyk /&oUiS44cq7U1lgnA+`:,tJj[28'F(wyA}9 Z"cRkoli K|=V?̭O)6᧹)yp9YcvIOhd&Es@_”xW"0y'PXYbGB TowBLIAq?sp9HZه,>z ^˗"FȪKbۂgCWZŭ& Ҁ?ҥ DٖhXUgQ͔O{GcXz=#m}0s+kY9E}ߙo~.dT\C.gpظܜ ૦;5OHՊϰ vitaȤT`1:y"_rl+d)t׬cʐRMPߌK Ն܂NV 7m[[nbWO@T*;>=Iٓ5 ]e4MBR3