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  5 $D ]/ HOL-Record_Benchmark:threads=6elapsed=99.645cpu=171.904gc=9.316factor=1.737zXZִF! ]ŗXf1-ĚEM@ٚ|3#fzY$!hftRY(qm\24EȦ򮪘iJKCnΟ)ؖAѰPނ4_7*9WgYZ7zXZִF! \O]ŗXiɟ1_sB2 ( |Kln/h/F-@|\ڝ8ib6k_Zk]*U}YZ7zXZִF! T]ŗXi%;s3ü5<</U4lmzJcʒx-yHTb,:YfF1:yw/'N|t ^%~p* H b+=rzO\4xs}ak0WFu9 E$o6Gf\e1erjDw C4p< qifj`X mA bpꠍSΦI^_8$+Qr?TTTm3r_U Y)Z<Ϥm'l5qi-nNp 5 HOL-Record_Benchmark  DO{~Eς<75sV@)6ҿjN h@Cw@cYޓ79Gso >'~Xl]`(UO6-d!.[{,aH6|/r "MY-&~<#rZCqm=N! 8aQ<v'@ΕLq+M_Ay T$YVv;s/|zG;d+/m!N.^$zZ bl h*뜨B=\f->հ-X/!)FJ @T4diHhiu> 杆 AIE Ywjt] K2X]-e-a&aow'FÇ,Wk'6v_2)|=-5e%^]ӷޅ/ZuϏ/bR3v=a#O5>؁A0&߇߰\1NtC0s(mJs$w 2^JI& 5KnM:0$K ZFeAf"CJs{3W};&n\";dJN4<)nM4vz54NAတj7l~rU2~uYzY"mԢ^c)s@5]펛Fkн"Pü4U=]{Wiw'_5<l'۽R3U"ԗۿ>D򯱭A%&l x:)VLH1?\ia&V;[~ѪME j'&M[Ő}V;c}pqNU(9Uc$0iވa,g[k:_(_݃D]' KM.;Za_U&yK3O3OLc'C+epw.[ /' a)!Ű(mN ~qψPUBZ#ePjE-M %.ND\Lye,oadz_{6D?py߇ }*/K[ Fcܬ0`>O![+v(/޻؜ۘFCo/jI/+-A$ZXp,/T[,>hAtNevUfKMD{QJ ގbÊDG$1;A-6ATZYS^Qq8%tRܠ0k ;ELO#Os")gUߋMBX&ib}Si=2- o m_+w ?p>vs!Eԇ&+*N0`i+ ĉ6cPuU?YeYW 䙜i )=r4+SL:1e]z:БWR*`9[┑Boxv!P_ y0ZXuoK A 5 't<#t<{K.y YN˿`c󳶸(Z4<@rx=4 @jgqЉ_s jQ%b$s8.ŏ.lqaʢEXf솒֦eZ1ꦿQ<6 {i#$iH9W!QNՁ5#W س7%Æ%&Æ IO\a; 63Lτu<b񝭌|M.Q ba3pYNş&-q#+dݷ#=Ѓnu hƖ&0{8V8f B~+ >|%ꫪ84X*Jlcʐ%^@)fK~ގ ̨=My\Ƥ W,7S8eI8_q`/_jď0,(I /XNw|(wlqhtѽ]~/&IN* ' r\ODH$֑1#DD#:M%]pۂsRqiĐoǂq,_8sF Fϣ(-աYԾ>K(G?@W=9V/E͍P~XA*Ui.ʩBo$ l /.# eCFL!'znH/Yi` &¯@!+ B?5<Y} Nc~ (8cV')8YOiY ϊUqDa.hn [L, =WHHŅym3.zr $@Fp٠1? y1=pTU5!նj#gYZ5814ff7a4ae77c840d41e71dc3056d55f7a651e92b741fa2ed8a0e813cd5871c2da862936da19705 9f48442a01b557873bc8bbe04241e035c7b55e33