SQLite format 3@ . BBh77otableisabelle_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 E3 4$ ]/ Impossible_Geometry:threads=2elapsed=12.035cpu=16.648gc=0.460factor=1.387zXZִF! Q]ŗXf1-/6vRZ4&L LN֏fB ۇf L*LVzP[jhՃSQ-nZ흪S-~ yv; NPDgYZ7zXZִF! [L]ŗXiɟRw`5.@!azH>MM('J6%|2SYg|\U s)Wwh\[I}YZ7zXZִF! A ]ŗXi%6SwPk7CY*@~ G1?<ɒ9VA/ Go G=?E6ԫPJ2CAXjD=pލeԾ%뺽{MC XW{ pޙsлžFOP>.IuW&\@xbM2Ș4ڕT-kobBeo>U(/' D}9w ڪ 8I⸘(Wy-S~KwsS4v¡J,){,નbņIkd-`V/5"vColy\hqz c]4~N< ^r@a8!ZPX$S5J.68^Z@(WCq0C<V۲\'iyH|g?^nلL\ Yƅf ĒXq#7&|@rSnf4$5`T3j-|ث&Z=">D5 $p'nsxLn;\oHs%D63<GpKja.0C8 /CG! m {7e8D&m>yXKz-H5إ?N%ߊ,JnH(pg#+i[~MvnD9GDC.1bT]F:B}(qE뻕+UKtk#Em.3 'hCsF:YJN&7ʃO}!|Qv4,6-6*p؅|,{g,?ْ@Rx~+葺}|E[0--Տ?+ynߕ'ȕ2PN=#2=BgYZ1e15f4de792c114355199b8bed15db67a0fc00bae70ee0fd938a0febc474d8a614487240593c9abf 62b865a30afb162effeec3b132b2275d92775ddc 3 Impossible_Geometry