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  D5\$l ]/ HOL-Record_Benchmark:threads=6elapsed=98.194cpu=176.560gc=12.744factor=1.807zXZִF! g]ŗXf1-ĚEM@ٚ|3#fzY$!hftRY(qm\2ꦚm6M+8|) >yNxgYZ7zXZִF! ]O]ŗXiɟ1_sB2 ( |Kln/h/F*{!lf(I|; yބOk^{\*}YZ7zXZִF! ]ŗXi%> |Z{"8FQOîR(vyD'm8kFz&TZKZ6[%}zC#,gzD^{a#)Co\QQ5֒ ٍmƝ}ϖbGCLkGd7 6,Q㪞oDu'w63uI d:_\AElHJQˁdyX_ZA=&6ݍExݎTH!& r'Bn9T0Z^9[+K>~pGw* 'lv`L!2iX"#6guHKӼa"A7|?]qWѧ>m`[5'/?MX]?K"0xׯ:Owme3Sq_WOj$n"w}HDl#\* U?_c.vѼƝ03/MoTV` #OF!Ŋhz~|sD~*}2!h%mok%TnZżp됦C`F Kܻog%<轈sG]lv=nʜ$VmqYЇϏVo(吵߇HE$ O ❻]h[ )Io20c{ćQiJ#cnoUԆމFz`h튳wYû =\A1{)g>e6֊ `7k q\VķgFX!_36`W8[mF·ôsCc Uڣ' Hqf\4Sv@ϗ1qI)4]7ly&P)`:SHwa`6!"Jj ?b_r6_5މM i _LN~V 7 hI,׍Dp\L>4x0?{K\]7Z7xY7N}#+m4ٽ)%xkpC.[5T3R9A^r$C2yP2Ex:Bz辭ZR|8i3?Z$MȦ!p€n5_!(]2eeg#φn$i}cR;ix ̬.Ng &>hIyn՗Md넯z{3%F[dfD E*|(u4mBT MWg=ip/b8">q_-`+&gٛ h&% }C 9RUa&s16u3tr܋4vD|&馅vJ5B3a&{JUI? _S(贎3Ulnf)4c6W֨&~'~ > nqHWij! @%ziȟDl'U7u 05_EKg0H6:3M1o }HkS4ǀ( XCTp)&qqáDxkW /Yl"3o׿x%uXQ#q'D7>Fl2v Xf>l$1"OdI}ty;=+!_ˆb쪦r]N^V(r̲b?H֞y>,Q%NP#ͭKfi${.j&mہr0 ֫|xgYZdb66f76cf9c08f77b6ea1a9b55a154fa4fc62cea33566f3cddb263229cca6b46057522afa84933ef bb7ec89f1f64990bcc746653a2c829e6a81d9bf2