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 k' dtT ]]HOLCF-Library:threads=4elapsed=9.592cpu=33.552gc=0.908factor=3.507zXZִF! l]ŗXf1-q恈͐7ӺV 4{ŴH}UCkAFԒG|&Bc5ݐlm^9JHX7?kE # r\ր>Y=xe&]Mc~f?Ro7 "O*GZ.J8&Wr%O _4>^u%l_ytK=G8bF` ޸8*8Nbt/B@Tخ.5pd.w񘤜#&oH`abr!eTXl$ę8y`|v͈ ֔cWӍc]BX_$l[%/ua,++U:xM&hi 9DWBw L؋+(ٗoщC`27e,= lmژRc6<*k33Ccq}L2K K!6䷟7d, M)p3 YViԧ?GlJ4h?%5x <dtb 9@P\@}!%HgYZ7zXZִF! 9q]ŗXiɟ>ӇuMwdӘ-y/եnϬ'(v ,vI׭[nqul飂ꑨ}h)8EId^ $7T'z).w#-J[z N\tҤr[;˙SR%{;7 .j-Kri+M |m 8Li4ax\mKڄw /-D>va&8ܱnuL>zYfB\fPBlQ̖fg/'B9SbApsTӎ5OzjwA=t7d-0]񵿸!ǃesOL݁saQW` #YgYZ7zXZִF! 5]ŗXi%G̉S @WZdgNPƓ<[ 12ػ:ǒ?X)5qrVB%oa XUIR8ɧ g/tcSag#\jUa]FX:;TYGjֵ Q\e1/KE掙¯#Pޜ\5k$`Ewҙue-MCriʭ$=ѓSƆn#|bBLR%>EuzdQ= )m6rk]" 4D̔tLUYȫc$4ojμ m ӆv;;*k"!߾9Q r| y=(3qв)V,,ս_HAEtg ;⩻W^fsZGsd6o2/ #[bˆwGq=X?9!:`[""֩N&Tfl;ШϽDKhƈL\کG L^*MpAY&fLLh<;)d .+=0<Iv:jc&PĘW(=ChVȆ.k#,I?myVdDĵj.~B)Z{h Ҳ?K?<)q%*&>e9Ah58P3fu4C_e2ͣAA]SisJ୸2~ lfm:t ~}ԅob[ noZ=j jgYZ7025d6a8d7922c227411527f925432084f6e620478a79cd9fdc2a13431ba56bd0a48c2d53a6a6920 db0b9f381bf5e847e834c0dde3ed15877688cc59 9cae5228e4588b9d3309077fedd4a26ad6b212475a7b015ba5b792d9cec785495d49f1905b1bd961 ' HOLCF-Library