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  4 4A5$$ ]/ HOL-Record_Benchmark:threads=6elapsed=122.112cpu=208.720gc=10.900factor=1.717zXZִF! 1]ŗXf1-ĚEM@ٚ|3#fzY$!hftRY(qm\29ȁ?;TzxZ M?Xވl_}YZ7zXZִF! 8H]ŗXi%;[-]4.R?0MqrwEaXu;|giv|߄aEˍ,Ƨyr hyUQMAgކm c0,r,]bҳP?Eǩ9Xv\@e A{,hJ 0w{ŠK?!`2%=VJaHz CCsxޑ0mO¯5+-~/`#ZQ`HEZl'GFkFj8=% G6,mQ@."(8<NINXw&W1g_\V mآzg[6 ЂuV͸ƅVm`VIul%VzG{K>mU?Ei6*:U}RG q=uXz!d!tE ?'a YνԲYM)LG"),͒Fch$R QȝOG kE|Sɨ YqY.c%ǷKQRqȯi{W4 ]á,v(fV[ ζ }3W$13Aoi&y; /xkTw /HF\!Yk!m2u?$%dSFWsnk^]dey} 5z,>8b%1oE֦Vޫ-  X0t65BLiA=X mNL0RXK-Y9 %U ˍL6&;vw \XUw 2UA+V crprRꖗ`L6F-CQOEj@"E K`09Z&RBӈkx!-D IUpUmd5DUZ~F 4!uJ*l?)WW-vb(**D3 -džZXBC٥d?lZ2zInU7 H_dRd\}aazʻµ INf/򉑝1q*|BA]ea[-WˋEfn:C>g [Fep*9dʕj.P^J<%Im}s%v ?;vӕg^G X`e'uBPOsoX\ OH=F(GT%Su19] *i/,%֢LX@*9G7p yRGτ%L( !Kw]lؐ$_IQxNiF ͑OcV܇mG@.Z$־:ۇYX,Y\QCAcVaSQwi[+7$"0$f)uγKQs!LH7-#\ Qb崘ol Ʃ[3+u E_f֜nH(QMkdHAx5,,e܍|zwg&x j]xyޑ"u| oyv)Zo*KncХC7腗ؿ'w.t.J0mҁ-J(456H_4N5Tx8s)xg^c h|0E IH{ \] 9{ΚDhTuӠqsnH z_hHqMI 2J>S(?fn!gnqi lt1Bv[W޲[`wXujx}S҄t }c8ӋvRVZԓXʊz_?]2}*K+0WH=Xn 5B!(Ro]}z#M,ژ|n3=N7RLÒAV'0٧{sޒ<y 4PVkLL,ud9$`ɜ.-p  xhwݧ*AmV&ɺ;r0]ۅɘ%N "`頂$6\F_ 2~#Pq=X _1=ౘ0K|PU`/]>5hebPcgFy822#ـXޒ]Cg d7mvYݸ0/c,0>:I6Jv J^N\=`yM4[2ϕkt]{|i|6;fFlYU}K}(,CN6tN-flr`ˈId̳׹. 6qgq>]:J HH2O*b'S2kٖJw/Ťs22g0ϮGKP_Q 0gHw-+v*+b}k<^I'|/<1"{|,j` 1]Rr@hmUzp~37WW*6x/N0{SҟYD@0@Kh?{魟*#1]gFdRk3Lu2ۍ͆Nwab0%p,uGB2V K6hi=VT 2: x^L*rynڽkv X@q_4gMYي4嫂л@ً棬`Me"j*υ\Nutr ?{U #dX\=ӳN,sT$_:{*NS.{ۂ;_VY@<ӳ *3o|1Z)_f25aȬG8̉TW;IS3,#Ldž*(-Y}6HErNms]\'*^aW' AW;;f2mC87q=˱C nA2$c?-gd?&75gYZb4ef5797da3531ff154cfb793bb327097e013aa07430d2c0a1b08934e5f6cb35e5fe155e1341f0ec 144a96b403b56eb57a7d98fbcc98662a2732b6c9