SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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   Y5\$ ]/ HOL-Record_Benchmark:threads=6elapsed=100.856cpu=183.284gc=12.980factor=1.827zXZִF! g]ŗXf1-ĚEM@ٚ|3#fzY$!hftRY(qm\24&=Ys*b/ E&v ~m;TxgYZ7zXZִF! ]O]ŗXiɟ1_sB2 ( |Kln/h0 c-W@~Y΁>R"bMn`z_k^{\*}YZ7zXZִF! ]ŗXi%@hZu!ga.Q}6'\%uMw)wBv#B*Q9ɢ9ZmvTʉxyUpܦ: u dn,tj Uн65 w3p-Re lS%r,ZMHoSWݠ՘nNHY&U`!Pa?YbYx :_A{5ĔԱ^U'֑-Lr7#{Sgܝ 5 HOL-Record_Benchmark  %PK`\Nan4~;}fμlQcK‚^7=`rL3òCB#e3"gJl*x6X\]ۤ aNDpdht7B `EISZw9Caތ)ç؛ t?G݂ =ѽy˱ʰm@ig" ϏRá4~/T& uF77ҩ1OX2RmmzsK) ד?%unO(ꦸ[?se-lo)Aݔ)5$ԯ\?\BuL3evI *\KcN&^K[?ZK2JUZD<;x´-Ac&-IC*=iN)8siz+s ixKTr:/4F{(Y\OewF"]9xTl2JRyz{Asn]il(k^${F\4~vKJQYmdQ}4#w.\1V(U y[3e4ܲ*4Zt͆v8Y3Zԡi ,jߣ+cAN$Cc _\ qp%s$q1vɫʯZͳ%x-B}Zܝ±<+'^΂B5n$;P T>fg/Gw?k?"fS9as>cT"`l?%c/@{<տR35b nݠB7ۢQMblJs j5'f;2Tsw8Sp8"ƬD0<)oAOmrćCXV H-[iOsOZ~t%z&/UYԃLALRbꎫ%vs@i3z7@zS@yՐ"kOKcoP` Sۆ1IUr)#ބ!ZPxp6E#3Yݍ k>aa/8jXnYvE)*qmz Q?< ?Z -%ғ}&C(G * &=ܤd8W:i+lsOEgXG!Gs^a/LSN8Nu?(q X:\`y!a8qs`AXP6i ,|bzЗR1ߛ9JKѿ?6\UVBS  d'=iaw6aFܴ}`MNBMB[.2J 0ܵ]rWX\TPZ_^$"W?SBkzg ).wj tVy-h5H 6w.W#$*gYMT:[ۢdD|S $EUL6K>P!+|D%*3b$J6|zcQƔƱ1Vn )u&x^vVF9 vpWDef~BC^ -gDi TYFKX-@c8[# ܖYY4.JO]4K "gYr5λwo)FpB>H+g|1̏ qҍu_gNw7 FmM<d64B+уONEbd\ZS5к :Bviє{9V[p2po"ڂ#{Kx W)]ӒfI[&G m:H*Z ^N,&*,kN@vWۉWV9]c:=t6n~Əy۵)F3k ^kMj3K& t<{jSL*ww]Z̗F 1Q+!Ob?@a'~g/';:\^3<{ֿ?KK]Q,3/VE5ۡk 3}NϽX?A` c%юxr 4Hmݘ2HWx` k&41Y0YHAn5GnaM!Uv8|؍_"ߩնLrSgaFazo2]!2^i*5t\R+;Qygѯ^ d;8Oru(`fhr#x̡q}-6;k'zp],/"!k@gYZe9a94089c06092e266766191fced2501f357e0f80f207da8fa38a715f9e8aa8a58fd6614f1b93f2d ab276ec74ce8749c4ecb0108f5e05afd9c485e27