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  ! !T5 $\ ]/ HOL-Record_Benchmark:threads=6elapsed=96.128cpu=169.684gc=10.112factor=1.777zXZִF! ]ŗXf1-ĚEM@ٚ|3#fzY$!hftRY(qm\2$SZ)%\*ƝVNo'V[\n{vH9WgYZ7zXZִF! \N]ŗXiɟ1_sB2 ( |Kln/h/ XsY)+xFX̡Auj]ON}YZ7zXZִF! :f]ŗXi%;4` }TajҲ4@>9"Jx+,yB,w؍a(zZTG9-W0ڜRk@J 5;?&\2%X\v5e=PpI`n2jdˆm5xy!suEzC;wAl6;) j']#=Chp q]P)D`^LE* 5 HOL-Record_Benchmark  Å5yw$x d-p#e+ wGPFh0OH`m)RK]leʾɧ{6h|"%TVR 0Wqy:2=>74|}kpPN8$[P!Ia?cѧj ɪugЫa.R"&|ׂkɥ S93Ҏd5= 0}QP;dI֋Ϸ7.kXnFg"F~xɝB9Ki| TPG׻]_x@c$Іqqw5!kӔ_*0 y읯П:pBvAPb63scCm3$*h q&ouhp.YR9wM%2S=s㈸ZeC,&aF|=ypb!Ꝕ$]vpNQ6rdޜ`= YP:]uVݖQѭݶ}=f`‰H7dNȘ6қA!MЀ=euZ9)ZRMm[7[4ꦴ8xuW@G!1B&$.ਰ7I ӗBTEhG#1GvKn+TklhϹ꧁!}᮳q;8?I{',YY2=YJ-;b\a+*NE ub-c#4LMѨT9YeH QcX.#P ƬdybjO,+Ԙ:ru3АGZV] ե A<5me; *LKP:#_0!@ueʉO+?-(J+qcmޤ(Q+w r9 3 ,{MvFT#+IL1- o %0 6ߦŝ`Keڣ SiڒO$%ǰn{tK|<":G)~#0 eDpy4u5wBʵJOpZfUCM4yy_lv-TE4 $}""TrY a-C,)biT!î&v 'AH߳1+*ԦH<UV If8ENt8 * r;{qAUś\yR'~Pנ&|nt}ÌQ6$Tk nQ mxԄYFO$^[Oi+?a裇5xT ""EBke˵Bo:a/};l Rzn4AZkdpr*tKiBPgdoJz#>}T eeI%|+#Z \U d'<]j)a !ڮ&gͻYTVhUmvLjGTx<^!XC_SjJ[k8S97q} 9ۺn'#5:EP<+@~e<6բaa/P6aBMҹV1#ר[3&f';o\e|<~=(Js tCtIw/l^wZg?Moh5!-)k7?Q7@S^܎-%KIAva= 4P_Ak{9[X4M|ɻ`mwk!=J5&:{ķe^WIPW(h"J{Yҽdxs/C&_XjX%$#{,-.@(?K63U+#C:ɗ\vT3  if29_nǎ}#@%'-3?4Ԟ89_Gu;\/Z,h$hWGݬ7C(<LJUݠ[F_̙Iy\mu*/ݼ,yb@׊vm2dpZ%4vijhhHSos`W>+%:.e3/[7_gpl㲯4wbl%[i7z8nPF, 9YM Ar5禶ǽI)„早o`-qAM$m99k9#K=Co+qf'^Ću%J7W1)(v|`isΠ.zYoTL^''o͋3DVWA!\eQW4LWVNY:WHdOŭ0J,#L|k#Z. +(8M.TfE7si-;ON* -Ig϶CvSt>K}w\2 =@iËpqz?y< "]z56os4 -:nMNP*j"^^HQYJB?% 3=4#8K3KĹ쏋\8/37Ao#+=S Nw^bׇ.֐g<;՜h6a\Z=~滽"P.M:i~hgLNڱdU3YJg,F-tXݒ /j@AUs్Sg;θJT9 mvr+|F z |_5_[ߠ̉0%5mߍ%6 [JY뛾:ҨaeWc:Pmk{r8-R)e;A!(gYZac60f285e0cc95635db331b3f09b20b651c606a96c60686a775c17b128fd9cd71424693ae23fa627 4ff4ab262683e151508a9833c0dc0c10d1ef6532