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  q q5\$l ]/ HOL-Record_Benchmark:threads=6elapsed=98.811cpu=178.588gc=12.940factor=1.817zXZִF! g]ŗXf1-ĚEM@ٚ|3#fzY$!hftRY(qm\2'_%%Pe`5Zϟ (±ťnxgYZ7zXZִF! ]O]ŗXiɟ1_sB2 ( |Kln/h/ YW2vl yYd+u]{8eL2ik^{\*}YZ7zXZִF! /]ŗXi%@f1~Y8d^J%o8@/L2%;?!ǚd{kIS*[-ԽO< eFJ66ȓcOEA}χmt&``êj[ Ƒ QnDCEb`sH[R \*VpzV?-R Az_@Ȧ/%uTL 5 HOL-Record_Benchmark  wyN`tU#53a_[^fDž3 äNDDA1p"5z|"Ê SQg=%q:@MiLK1~@f#61$vLTa;h/@M6rB;AAI=Y힘,|YKqHh^oX͹w5Zget33\aY<=jxe "WFPϷyθ]0" ϭy{'w:3=HnO4cqz!gS%D# i{}ިZNRJgВ4K\0Vݮdrzn{ *ƵB.(#& ++GQԾE}OȩntUFV :+u+W2_>THzIx_Mܠ5Z: c*,ܴL"&rpЈodx0Y^vZY`*tB,gZ[y7n{Y㱹NscMCfHU*. ln12S鿞P9=aiUrŃtݗh',ńޠdRX5c 7*>ۖn"۝p.=lT8>Xw&ĹOo9Cs^-:$dL:nc;l|1i?k E~,Ŵ] !>DtlvGG nGrRzA7g=g;A1_f\{&at$UȈEnނ*9 [eTP`^H}Y&dr0+GZgilR>GÛ;EO-^q#]J}h(?̿0aKL*F͔LDn-¯[NzOTL"jɏt"#N_ïy`wryt߁d}meFUSdiWMKqz0jfHsg~S j,FH]޹Y@M;sG8%DSHʽEҹ_ZL9А3=V50F& D䑼i'Aol}_S6͍s:9XU>$!7lvJZ#-XN| f v0'^O_ !.<#4O5"u,j"F8'}DW.;h`(ә`aj0@,ʼV}g dZ=|y+7i$"m@m( 4 (v?^_x1\Vx~P*nM= (jα ОT^-i9 ( @`TLQ5??!Y '66bWM5/{9ɞ޻.U%Mҍ:*lpJyad6(X #mM6l~/auL"DKjFUfWhWTxA'R yz K8Q2] y8k)e|=%֭vqWZ!7Q|{V8؆TwsIqwLB)_^S}nFJ͇bg[dnWi!byCX.:nf'J@8X?Oy!fA֍!q9`XGiWQ.r-+nU3Lϕad'.I>;$tie wW;Kp.^u1ţ ]/_IjƑ6%t E xG.[ގcc :XR:ńŘ<DFH]>+7Mde@@,,u޻mM,~> 1*b3 LyOiXS\kHEGG>j["FL4Vk-RV.Ujye}斊7pM͘>{7ByR`A "o~ h*pܙXMJW6s]:rkəWК5埸 ͤR;WA}XvQ4ħ}LA鬠ҩ{~|t7Be;(|E$i+VtvR 1%!#AQՅJۉwbԘS[ )6+V4rC%\!*Z_XY[1 0$aJ,dr9a"G[Lz?0R T8XR`|% /;Kqb2@˽ -?C7f}Tlͦ|m7)9ޝzcH!{[z˽j-)EOX86Yӄz{:"urZg泱TKhg5^E%CM!qVc^O+кLCUJB:Q3`>!п"^(5Ies`A5tbj[m TT6v+᝸偡> [.:Kjb!Z@vGsֿkX`Wss|nFxCP\*|!M04hW_,N>Lz֬'D^iv(@vJh'Ȃ_?鸉^$ހ=& á.. OV*BS