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 NN/   ]/]HOLCF:threads=2elapsed=17.912cpu=35.544gc=2.320factor=1.987zXZִF! ]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVKh^̐n>VBA-QG.APT(sY 8gF3S2dGUԍ60I.,i2N9+m~%e}' ˼Q9/05NQ%|Yl›8~4UL+Ez ȫD޶,1s?mh^QUFw+kUEqICY1&p}[3 4|+^W%( &n̔wCjqTJ` ~)ܴ*OL:aϷ !GN ZfCp'PdPGY kί[?}b_`3!N3!2X-gYZ7zXZִF! ?]ŗXiɟ1˦r~KunύNN{g٣Ń!=|;Ba-yjF Q6LK6 2zm*i336R([~ 89~A+pxZx{y$)iZƌ^.Se cM4aMm PFGB܊YW.iOp3aS G"vӦlQP+ ¬_ Rg9*UK :{Z

p@M̖Q(uS4RctÖ_~ = =fx{Z*'bi1Y- ǵv1R->  @У(9Өa{M3% 47SQE̕wVLACn Ύݫ΍HSHf[c!j\=zHuLK#h; WK't;V'{6%H#>Wg!Sqz4S|^a8z`|2LGLEA#@k_eJ2yE&[xp5y~*` mz!&׺O޳wT_Qa )@E I9( %/*v̠ ݃S\1W9ͧ;? =N@õ`1c5, O8yA{г:C0Y…/a4Lm˜gI]1-'$'|-F8NYڙaHjL:*l0*z{#î-b8t:Y F\o dYxF6aA?&H]Go| B7 p0D0Pep_W긙c֨jLX4XOWs½`aDEնW9 zz|=*@&`^Ea?!78DCTC,V!`S Z1G Slu(G÷gDȷ0sGG7c&?T^^88A bS ̓.gYZdcb6d8c46bc28f879ca582187e9e6ce079a8ac2282ea62db878002abe1f561b243b2cfa9fc698016 3eb7c68d6e834ba5513637798ddd089d7ebc1253f29285890d90514961930a02852b651abc8dc0c5  HOLCF