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 C l$, ]/]HOLCF:threads=6elapsed=11.615cpu=36.632gc=1.852factor=3.157zXZִF! B]ŗXf1-q恈͐7ӺV ༂Mb0v9?cGb 5Z;e3.i@01/q>i.)ǩ/QfAt&bp'tzOYILxFKRM(Z X&#iؚODp#m t,1B6|d9.[HK9\}ĚSw|e 7?dGd0|&At$#h'x/ <"GRKX ,1 "_p{;6A* ҙ]ȗB}h/7Dۈ}F8&ܻ{:72;{ѝa7=Vq|bzo|d].w椁W!Z߸U,f(DE1-ЌnebJV<`R?M'=B4Q>,>Ppu'(y3"nߊhO1<>-#\ 0xvӾ]d~2ttҥF;X^ ǀf#KO)#6/yv1ZgAF{!LV|=7Ӈɇ9S2]/>Qsw9og*T❺eN!#A]˯qB=EYC{?#\ĩE"/rOc^DŽ uGD3{ȟlp(邱gYZ7zXZִF! C]ŗXi%B۹[HRp(^1ԁ;XU-QNKh% hMk5]nUHu{F*Q `) CgVc%feq^~w; IM)\H|N70> -N1$Ow}+Bt"c\kh$4'|iE:j:ߑqW!)'^*WR=1z#2c782k\ tcO\3(fF5jI[\)$ n-T\58 )V`<3VfЍD3'4X-:c9AR7 ;` ?\pVw._sPNC;N/!)sRVɥnPּU{j‵{! /}|J'׻pW>:vk ~d^넌LbOL.0x|]ʁ/!dT>2FwoS~.m.i)@rgea<Ӡ`n~W ddGeV]r/$/:ȳ+b9wh抋 ʾbu2jRR`֚.2(7ݕD D a0U'6T^}j]`ƔE2ۼTPX#x qeWG7i]9* cN_ '.;8TS+L9|Fa>b(L߲viRnYe!O!\{M$n`g.^m;tX8M)ykOY"3}7YكVwDMI٨_6#0&ޖm|{C4P YҝB,Myjx :ڡކ,{& ,[L!ypb(0VftBrXtkwaE^b[团~C"Nz^X\Ã`:w5>4{QCjXeTzgw&Z\ D+EGL5p3Ypj_]eÆ.=s ē;O8һxe#h5N Sו uZ %!N"7D j:Y p\lK|ˤWI`bM37oOپt`%,²йzL8&ē; p&7XAƄ?bdIqn@F8xqEuxMeG{^uܺp-_2X3duPf ')|}5oaB|)i6H Pom+A?輐1i =G GA7bzJ..wQM ,Psy ٛ CgYZ5276fb1958e0aa3fa2e3a5db6dd81fabc055eaa7f49cf1e890799590abbaffa7e0c5e9c98594d78e 1a4dbad16379fb07baa7b947418e96bd4e956b1bba539f656a69d7637bf2e475afa5a709f288c0db  HOLCF