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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info )\l ] HOLCF-Tutorial:threads=2elapsed=15.329cpu=19.592gc=0.676factor=1.287zXZ ִF ! '] ŗXf1-qN0L%.u--W^3M,'_{W&|%hMtt?,$ZٗsR*i>TSN3r+oQx @<.!3|LHV*b:4qaHPj&/XΗj6`NK[$}JхG[,yҁSh/$dȗ~]cz!u;W{IxtʻlUVPoC ^Q%]8 &g YZ7zXZ ִF ! ] ŗXiɟ>ӇW2ta'(e9D{?@''0V>ڞwIHq"M8F'9&<7ҵ[5poܹKqa(x}- #+K 3g YZ7zXZ ִF ! X] ŗXi%;JUwzP|tוy nzF3H7χJC+כSlw\h.tKAE@JrAJ"?d} _N $))_۹3OwgP#XV1fql&GW@){B ?8:nJE `?rqQ5%AȚ'y;Mv7us F4lF~,䵰N%zT~&%-^^Fʈ7 ؆Iws1l[SYeszPUOxNLjC3 mKէ&Yh9U~6` ;q L~/9xi\Oe#s _T\M4HͲS=<2.g >ͩxYHk*'Q^"O#5uiؗ(ä]ft è)vyuh:!^XlyrSOt`Bil3{ƶЯ8U).@I gػB( 5yW}ڄ8zͅޟ_B9`xAc/zߡ%ʩR i慰->!oI 5fx~f}ۅ`'[,ks\BO