SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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 cc' llT ]/ HotelKeyCards:threads=4elapsed=4.058cpu=12.308gc=0.172factor=3.037zXZִF! ;]ŗXf[&qAn%?x$]lIu.1uO'x`aW)zus$*; |_yA$և#Lj- *a g/\_T:9[2nߦ(̉Z%)^&ԬDVH;}o 1vLhuq=#\S[)匲:\bިzo*ǐ}`Ɏ֛H#H uWO0[qoc5lQNU DuV_kU)!kʐ=| ۩3 >8j/2KJA2:Xm](*;\䍴WDůg>P뜿W'Xۿr ՝⏸L_ ս/\z"h5qgYZ7zXZִF! ]ŗXiɟ1˦r p0+7bOa\ AV3Rڠ-Q ) '/x7@rw+bGdIo\Ei!:3֔0@if|a1voPS_ =@ N1t炎πf|ޢpı3b$WgYZ7zXZִF! ,U]ŗXi%B8_y- (u;KW`Y Ϙjh-9Dp#9^OuE1h4hf#Qd޻vD?g| )/{v716.3v^ݢ,#yQg}!QQyHyV,0@aXTarP.+Sv5Nb5W~(@7Fh#btM )<9pNf$𕣼ݰ?w+A7cǧ֚ޓ tDHS_1 ɮnQ=AǶ0almF_5 : R>[Fx"%V\=V"Y)%LBF膯A :N }oIߪSRH= .M g a u3I`}YW&žc6a]^wm5ھ5j#R} 8p* ^3p e(XΔ^Lj38Q@0QpO/t2TodԵO:4yټ[#nv'p [*hNaVͬ˭ cXdW0&I41ܩsbW =VUO ɻFU7fsh[1|Asl`MIߤLw-C wgSȚ&58/)fCp#/dmg_6/|$h/NOz߉PQ"^kUv ! ֻ}? Xv2/@<r75J3 aפw8oZbQ@Po>< Q 1؂T;騿Gl!ڸ^M{YĴ5S`M@3Hl5 xA4,?XW.\{Lm޷ILc'DX4 gYZ963472b21a78125f5dfaca1216d093c88430513dddbcbc2a51857ae6e2c35d0f0dfda0600638ccc2 961d7cfc19b96122dabf28304bf6dc45da32abbe ' HotelKeyCards