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 11L' \t ]]HOLCF-Library:threads=4elapsed=10.413cpu=36.900gc=0.992factor=3.547zXZִF! Gg]ŗXf1-q恈͐7ӺV 4{ŴH}UCkAFԒG|&Bc5ݐlj-䠒$q1v@߫҈@c7;&=N5U3zXX}WfǛƏz~ا!Lֵ> ʛiFP廽sqЗ`)TiDHBuôƴ)Q媕rFN^SS2y}tԉwH ~WP©WI(HjrFDX(Y}^(I}IIuYxyC"ڐt6LLG mp^!vA(μn@euP=~6/ }'V&Sn;9dI47 SGLbIL,Kg PxlQ^ 32 *ED\I7U\}K҂_S%trLmz(oaf֐G'Mu(!&Cqbͽέg{`ȁr0B/gd ҽ%gYZ7zXZִF! 9q]ŗXiɟ>ӇuMwdӘ-y/եnϬ'(v_2VYWR[7f|Ǭ g䩄+Sڣ=6m?߆F9\_L(WJ9_-@b%r#DO4dZk=žGK9s6&}yHzE$K-*Ow%VU dx]c(Oh| maNd!ye!{C9{S|U$84׎P+`Ҿ:2D(׼!ryo5W14yaH]ܑ~e:rczr׆yޥ̩,Ya$ϓ5?މv$ 5ZJZx7 #YgYZ7zXZִF! :]ŗXi%G> $10^8KZҊ0G4jD~ܯp#*A݄`o?q_N"tוr2fjB_jigQjg<Ǵ*9x[:Ka2zۉse%ƅ5 'R@X~죭DM=hO/vCPE\K)ϑ[E' =I$ U@OFZX)Cp9X#?#_TB+G\ڥ*"}4:`7ࠛ n[]=f'ڞԦQ D{OH@j:X.RL\ 9o 4(  %7ck;q[a{"Qd 3;49=cXLO;sE91@ r,)_})e$`Hѝ8z)6P4BG u~UgYZbfc28b0032c6879e3e705271bee08d2303c15cc04e13432f40f7b1835a151e11bc124aeab3c9b529 476b8b6d93e3d9822aeb6dfada9a4f4f5a0de682 4bd6aedc7d04acbfa28755f154cbdc648e812c5e62c5d4f312a36e4c9406fbb2349ef78232e6140c ' HOLCF-Library