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  n5\\ ]/ HOL-Record_Benchmark:threads=6elapsed=102.308cpu=174.672gc=8.748factor=1.717zXZִF! g]ŗXf1-ĚEM@ٚ|3#fzY$!hftRY(qm\2V-"}4[A)jZNwxgYZ7zXZִF! ]ŗXi%6ut x`PJT" [p ႦjXQ^DbFꌠk[7A[pY7{1UtJ8!@яI Iz<}rNV̈tG`gN`?<3 =Pŀh'qy =L.Y>Kz}@9jy>dz$*<6d $]c&fִhsr?G[K?y,AXL/)~HEY:- 7ܦ~[cOL 8V̒?$#]L ! 5 HOL-Record_BenchmarkFj/xs@}b;6߽׀/%vn.xw3}\K7E`oic:vpK "L6*tTFsf 6&+B?V٩MWQVj5՝V3ZutU]Â5XwtaP:'@@Qr3)w:^O~)yᦌ:ڛa)17Ε*‹UD_fv9v1{aL웠sH<,D,A]^-ı&Cs9$GYL!%-y3ؼ?MQwy@df˂>k0n$nS`P´lvI]wtЕ0c[7 Q@IihrP#i΢=)@qEN|Gm >P[87D $|*j$>IA *Ba-^6-[ΜtVL647'%]'x(^H>ˉyGv| g9K'|5d֟#TlKn) ˱&zbB8ұ=fE6S0 )OuT]w @⾯ii%h )n򼝨l|b>!wsWw*lhLs`nLqע 1(0*w X٨ȸgzg Gb\AU^(Q~ J5s0L}ˌ]S F P/~AZPU' cJWhx7BKAXP,*Tʒnz}v?DIݔ~*<ohco[ECg}X*c{Mss83- hM&zXG{0t cWs1=F yhI# ˜-BuU)<a#VLڃ:֍֗͊3 2(~|kNZb3p!ޤ\j Kj7}No˾5c0`v]oI2 _RzY:>̓iWɅjP^L1Xs-F͍5EE,ǁ/*/P1`Svsҽܝ+8T$jqb i̐7 a0f+fjlH ;FMDIxr)S'$>-)7/?,ް\=8gKSwh @@a;'v8 igVM2E-&q79luD3A|5WG[27yBbh) аq=5YH^)hTZ21tgE6iq?17^O*sUV-ε>D;f02ƑQ/$B_ZՉ5JTV3R*76i'`/ 8%jܭcXtRFhE|k 詗^*cu#{1/'Lkjr+Qh5@işR`4$teZvY[W6ko/i'!{lr࣯ϴ@4丌~-NzPJe{}șլ#QfiPfGhOe"F4q(nuQ[s|lSP{5 QUKRa9ĢD$o\ؑzT!ЏJ/yNTGG_(.yˏN!1b؝`? rݚݺu%YHmBFs\ҡXI+iO ''N *`;:r!9I$2CC#nv~5 Ԅ%3=Ŗ 8Vm#S0Qn􃁂f֦B'ϣ)xj%D&t9DoCmo!px_Z\fܖ{ܸgk)=1&zIpo Y i._fT ' 8L9;%.d3^)?'cKr(;ՅufЙ ~cz+28()|܈ULY\3yxVG| 2b4+QOsK|xK :WcLy2/]WlrJSRM*<@a4]Ob.n"o=q&SCqlZįK8Бvj\b8ί4nO]ƃ}x$- xA|X8>Xd]#5>DX${jO 12'?=E)W Z׮b ـo_Dꄼ8?** EaLPyFSv$r+9U;@@GA^H ~2t,Sf?Yx}[LS`oVa~uA?cn ).[j|P!%:vxH݉!{zC.L# YWY8b)y{ϪEPM~4>_""9T ˢVOQ0(A6ؖK\ߤ.( 79P虐}oO>14g,[CnO‘kΩ߅z_6f~#l0h-U+U  8+=qۖk;=B״ĀťL>+ P@^ "|O1~-:4eA88|in܄5O呒MaUfqDL'a6\tLt;HC*.,:E{gXaG ^ži{n=2n1?bGn#+&5xSXbY(%VX,x\"g:$+sG\OŘXmI8~{RPulcTB` L$ʺꐋϤ \2TQi#jjpt\7&yM!A;FZsY V+[tWT4S