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.378cpu=176.100gc=12.468factor=1.797zXZִF! h]ŗXf1-ĚEM@ٚ|3#fzY$!hftRY(qm\2 j0uq6SxCnYLRLK'HgYZ7zXZִF! ]P]ŗXiɟ1_sB2 ( |Kln/h/FӠ0O\"O*'#DݹJl^se}YZ7zXZִF! ׎]ŗXi%>pW @McLj]L:~zsPM^i)6<SARM6x+o-h-S9|2rM?K Y 5 HOL-Record_Benchmark  G믾b3neupohQ^%aMxQ@6M h&t[:y' n P FbI.F.CRF2wB<t4ч-J+ ;_l H =Ƃ/neb~ȱ=1aK3C*s&[⇀e&#IN8a\9K *pkS6,KJT{ͣxzHHm= 9Y^ż&3qNb@7x "RŮzIx3E]r +CV&?`vo[{ODX=z ˋ~~vb6zHFM>V!LDygUm/#`rfVeQl߷k( dv]'cEMfFj](`H=O$e&oJp|&@.A>ʢ=G# k>`?;;rR#mpA/\ Tnyz6P膟. vIBptoOUU=-WTb68>qyklBTȤOEvƽUFJUy֏Ur- X] GC̈́e<ܸf>p[/`jݼ6tkh#6ifv '[ACYOdrֶ-dGQ5-n_tAFf VkXMXP?DF\YBTJ "dz㥂nٽn*c[5 4y1>VD;д#g[̠;s7*vEҞVZX7к)|ebQ%͎;P=_-4<&`IUu&r"/fr c f,v>*}::9q.s^BMU\]P୛7(6KVǣn$6Ht۲x tQM.CX> ??# NG;@?hpـZ>PEf0vN ,3nVIjp?F;j"ׇFnx>[0P;UK$n^A*\Kt[!sD;v $ GMe[ϛ s7`L 9W;[Y);vM R%a}\vAgc"4w6YT+7o%>#xF42)V)Z%9%B738 s1˟2Rcۧ&(NN+OG #\}dx#?,DCC,wGj 5 W}+eah~+Ěsvk;r|hсѽJ N MX}e+$j ’ERUȭ?, x࠾y H˦tZem`7, >T51*\5 3nЍl!ǚ5(olM,di%8 ܐ/<Igl4-أ5ueRU݉HkBlZ?l ~iK@.xu;*~{}S*{!gd~%aw'Ii|)<˱?_5?j|P" \Ŕ"VHH!3({/Y9kPY\U"ma=moNK}]':xg>(`^7l~2֤\]Id?ŝ !&E xa RLՋ8?ePtC4[嶱pF,4M0 Xwy\dQX~Ws-w ~R 6@]Tf%/K@qZ慠#<⽊] A<+P(e/ET& _4KŌ<%m)lvHF bmja,0%+v[Qs^/L'"RFHW >e-1ufrFBIh-fz?-N jD1!8e<5l 0oUuQ芚Sc6hF@coav,ɑv)MlX3ݷ)HlmďD=Ho;.^ӶmYLLJ>-&s-SƜijSt{R[hb x bӭ@[u8W+G8Q$ Io BOK b"*?a-h3-b-cR "սˎ緦1̀nBavA