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 + ,T ]/]HOLCF:threads=6elapsed=12.117cpu=38.152gc=2.096factor=3.157zXZִF! /]ŗXf1-q恈͐7ӺV ༂Mb0v9?cGb 5Z;e3.i@0pX̍tk-#ƒtZ\F'~ >qrg9,!'-YkHpiz(FBw*!Itn3^vۧ>tء^9 Oн 7T4G?~L+:MbCe`0Jp%G$ANj&0LЕOը(+^7dQ&;loofkO-C Jzq~[RMcpAۍGZ#{5.XY,X5ǡ('>%/Ba4#`e^& IG{*gCl m&Zhsr;3pXGhsA ^Rr'bGQHe0O}{RL[ 9Ltnom]Z) XD¿cvnaQ0ZR%oQp5vA{n-1+~J]Y4.g314כ-F'ŷWԟMtxVو\(,JNąn4Kx_O"RDp A zN"UkUgYZ7zXZִF! N]ŗXiɟ>Ӈɇ9S2]f[7% ~6Q U˥deh82'DC8_[M&5MF >2h+T6αCA  s2$=3q=lzPTU.,Yގ<`;*JHrȋ_ciq4<.OшF)&p~+Xa⽈.-Ļ֎+9h8UF$c֪q ޡqIA=au vwZn1a7/}`M#Q[n /i!P`֛!fXBYJVU{C5 `XÊ#ASu1+gYZ7zXZִF! :c]ŗXi%> z)=R%;݂Ws umcl1'5\2~z}K0k0:0[Ջ-WS9/2!OmGUOKdC5I4+"6@ |a*G-2s +=6z!VHHra _X1bmjc֌J W$>$ֹm%Zyj~ܙ/I19#:']VǪꃡ n-{ӤzwjC?nK^8ivMqX T7pQԩXM{ e62d@mz!4.`'&vfq˙Բ" SDO@<&s`ǵY PӁ.:;0 RQ;Fe-vfŨS-2]?\uB]fNr9/n^mpdr.@?`&\ ~imi+ [nbuօ3;?g/)T6Igj0#yU&8}.K{%bNֹFi!f ӫ` 5$Յ~ls7Zm8|>2F P:Pe ѵއSPKp~tS蹱1%e *[l=ah$?bbgl8Ef-Nw:Qԅ /B8z#ZRn50xu-4tsPSgYZ66c467facb7ab4780b00455534945496de50028d266222d5d4fd615b66222b5c76e21b7ffca335d8 e3f2349d70353a17cdf47ae04ea2d2766e07c9b008afc5858facf19e02b5d04140d618af92495c3b  HOLCF