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   ] d ] IOA:threads=6elapsed=7.638cpu=33.564gc=1.424factor=4.397zXZִF! ]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K kg(^Ho\*)DSdYkKδgX- v yǙy~Q.mmeh_WmzH1Ygj#U=@ITk~vxڜ 7Oyɏ- YacnnMWHm_ M"~\0ml1x ($3c9PK^GRbuޢ/1b YPXV@YK\eA j\n1pa[[B27Û Xk8ZV.0͏>ވO3M(7>\[,Hf))ٮݸWXGw~BtܪkP}!뼐ɕA/ˎYDZ4~갅l.PGϚ>[o.la_*RVOQ:@:gYZ7zXZִF! `{]ŗXiɟdN'LvH۹$vYeJBݲ@o^b`΀;!vlSa}aؖ>[L I\ցUaBH?òPx9{c(2J"q9ຟ"0 6JZIcQ)|p+_7JpgKOb։;>C<G$u9ouo47IیZ=4ٰjBňєE͐6J5/OR( 2YPJzH՘sѽr',aT3\3LܻcՁ of Qϑ#ƢiH_5oRKnT#!L.DwO`AQY8&Z[o* }+gYZ7zXZִF! &]ŗXi%>Kxγ <lڧmUo3T`ّSGE}:>VwN..!5U?O+|EnWd#u)'f~̀VO_RɈc#TS'B*}SjQ55 (\Z}Mk_FkĹV$mr6gdgq^=⎵)7 &!]+z7%R-H&&6y)QVCk_ʸ3rA bSK4'cSKj-?J"TGl84[xAC-^'ܥ8%`l"~aKt%o=.!aYvWDӁ /ATI~TPAԟNE>0Q#%e3D֥DYB ΐV]g (K+*I+v6O 㔿kF>XnFpDK[~W![.CxcQ6n=W^5v/ >%03 Y.1I z0@3讧EYrab^^6Gݕm.s?fbkHo9uL(J{0.YMp gYZ53a7a540fef06191e4dae0f2ff532669e8b7c6a4cc6d6598ca48f4c3791a98b19dd5cf828358a33f c32e3c801900c6f94f6ade7ad7b143a3950847be b21468bb86aab4e4226c91b87cb0204087508609  IOA