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 ] HOLCF-Tutorial:threads=2elapsed=15.744cpu=19.908gc=0.652factor=1.267zXZִF! ']ŗXf1-qN0L%.u--W^3M,'_{W&|%heEdwi!826 tdL&zޫt/T/M8WcQ16ob$( NBo57rI!}U^9X9T!0Ir9Ռ/tZ;RTD?KZgALT3mjt6_p֥;]S(w RZ'Khߠ&(OdJej&gYZ7zXZִF! ]ŗXiɟ>ӇW2ta'(e9D{?@46Fq2`l-hL'7`>1HiāJR =.b<\6! = f>ѝ2 >,gYZ7zXZִF! X]ŗXi%;3,%Z_ݧR<`yBM蟽ι>/hДoV\4F`ق;×b7t9sw{ZI 'P:Cīy`ۤ - R#&i5߹ ]g{K 0j]l-@ n߲OSwiԞu{ԮI[ @'v{!|  x'%yDU2^$L iVe^ns\nd4*W<+^z+(]Cbuqo4RPyopS,e !4D2?޻X= D xG9զ7Cu!?|T fA~Vxt>qΚȾw*iLHBU,9톧LQU&f2 4$.[B"wQµ6Ŧ"}X2,P* edK'4]'cL|8=#9}Fmuw5pe>R:<ȚM^$G{kHq#`XaT}OZǔxbI6ŷ9|ub}hGqrWEᆺMUۘOYyߙT[.)J}0cƢ7= s2e;:9"r Az>,XkΠ)B=r뭘EQɣw-i D /OJa<y@Qs EK#*Te$$S IE@2Qg YɨT=\-4|3wp].9,Iv )C>JoaJ:;J,Jv¯+F n )~EÚnp3AOIA' Dc]|^0KGeL0S>Q11Cܞ-(*L8BBTM8EavR/I,;