SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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   `5\l // HOL-Record_Benchmark:threads=6elapsed=102.225cpu=174.700gc=8.600factor=1.717zXZִF! g]ŗXf1-ĚEM@ٚ|3#fzY$!hftRY(qm\2d,Z6FMozš$p+ϛj3xgYZ7zXZִF! ]ŗXi%6үPfЮ|Oױh>|>țQ!o޻;P@VF+\*엟zc Km9dbfX=cU%U{)ɜp aaQT8`1# gm:<睴ǔ-' #°M pE&otkSٯʟ@~Xd89,]V " Yn=a_pJNɤwZü+^ 1kWB+V U4*76Ay7a. ùf[-4zp<ABJ5Q, EWBFNp8#׼1.|$0/EuX%\XyEl*[s=TfkaN6!,Q=RdN7 5 HOL-Record_BenchmarkFgTD40\$PbS*׈'hQ!^BH0G5/}*Q,+i|]D8> ^Fk0%O֠xDMfyD4d.qdsP:" I֬9yp^GDvE}g_0u˦ 7bzW0m"l!BFNZD١}vEHȊ1."PW(Dzd|{QQ<&6f*M<պVlSպ0!Xg0)4婡4M6]9P-9TPܡOA-PIS`_'Z&˱DonP4CYY g1=YU-s%)龂2z{}8ɔ7%hiՙ3"7, ).YxHWlS#)ͦ7[^2pԚ 2Ս'EMql H'^ VCA6x Y~z5Z-ݲf|~aϕ i]`8\CWkϱ[C`u{qA=ߜyH9N\q~VR hWԻԷrD}ڦܕu\l O# O~ +cT1>4xЌU#s!x;>al#W#pb(y (c=KB6V5% @C.9&?,ntoZhE>edL:"5 T·@DYB/&xYsňb̏C yz 7bw!i VsaO& |x{=l=pΩ X ኵC8ʓd_gJTXFb4c;:)LUÃf WL\WSu#R-L_k7?rH0~Q(yd ׃6`m { J8&Jc053v},g0aׂॻuSVF4\²հҺdʃ ^7滓U豏μl&xmQyfG|,{|2QYGGDndƛ=ˑ:a_zdUwbD M'F̗g!`! 1tno yLKcR0AR-eQ2{ ݛl-! J&s*dfS'kz9C1}E [ B*R}'=z.&N,C6IʄHTfSL&Ηe\tj| +91+f̚kWF(J"̅6Dzd..&mwMx]p&j6jCKcrJa瓶>¤&=1Z'0,rb^%'; ^"$Z9#}l܉g0RcD ֎C?ݻ&*OВWy-ofx/i F#L s28+&gJQ+7)C Id{9eMF5ri ! 't%seyƺﶹK3WVJdLϲV)Jqs^MQ {zx۩vt pwEg՛0J% ѳiCRRƱn@u(>t Q}y|aQLJg@3{yoZvYA t4ǀ#[qLx&:ϭ\;= EL6roTy'ea\1jQqlƏIO *q&oel(h)pn%)-*'k1zM's)z7w%QLJ1khoe<R" gsqѯOҰ`8ME&f.u!㗅6Wj*qRk_p '7ӭ֏Q AO/8>Α,ɯPOq.bsgX}sM_aёzpD7ꧢ5rwQӯ=