SQLite format 3@ .;  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 g1  ]% Stream_Fusion_Code:threads=4elapsed=13.829cpu=45.476gc=1.336factor=3.297zXZִF! ']ŗXf[&R g0Fw[e0Ozt=3 az E0YIYLf,%cvMZߩFfԒZwp.vU$X @QsllA}kjCI9uɸEW47Ӿـo,3/HsQFdG\Tb$dZݤ̨9bOFgKh/L }_U"[]qeɼUhdJ] "Ӵ5H<(ۗňm[)׷:28!TqSq/v.7V%Lʯ,5#__ݛr&7 F6;B Xf A"7VOJbRq/ílDwFX; I VA۷}NȅAn(f_dV'4D7_#w_m-e:F̳̔X`t}9^_81i>6 AtƅgaLb! FbBt[u? _,ι?&>c)ty &=6%!W<`1pm$:7 E[@HlS`b8"<ݑv_fn {N#ti| `EXZ c ~<"*DEik )'k ߏ6QPoゆAoDi1PI>Nc-eہf{j ]؎pvrЄ%b|>QU3;eŷ>]+A醐,CgQV7ht F!s~u)j=iwoGgms&:#t#Q]@Q#rX- k^2 giYǘy u*jN"bruH\rzrR aY88H(cg`K@}tR<g7imp9z@N; TkOÂފ"K(l|49HkRG̳VS /,Ct@L0jXg3a?JUk 8fibOZꎬtnumh޴A" bW>Ci3RV`7?Χx }ҲvkA2e,?9Y/x֝&q1[J\0¾1.g-Tphn1Y!DywTFI:cq^+Yq Ax;z|=İgU'|r+wy^-j C;aRV{rvQV]=9NH?++ͥ$~0de˛3v\Gq ټLt6Sݲ&#H'9w˽ԲT9\pt;6PlaZz6= by 5d&6n.$̅YauflLMu"/x5(sшK>Dx'6YyXzȂsk56S@߭)Tgj6ƻ y_1NYy4 dZAX7ܮ%Ѹ`ʇYu`s(=@ %Z!Qe$Z^YxBgȽg`5WNpZR=Đҿe[f.P׋Nv`wt@mq_83ec x[:ytD]$(%K֥TD1},FJ@dCCԉֳӹHSy ҡ8V2%:k~RP/QQI@Fb2z][ G\HRI=ho&@327%{A`1N87p?.Vkq2\`gYX~/fӜVC=噜#-![9+ss+^J;ӊE-GpظyRvFE~cVt`Kt9޻5CMbp4bqbJQK6gYZ35d7a4e4fa86e33f3471c72fb8667752d0c94692d3f90704504dab3f9fc94e3d143d1180eb260c4a 05a03eacc3059078cac786ce4b0187a596b54f20 5259e2dea2674c3bbd0dff7545ea77936488882c 819ba6acd0b6362f6a13fcc1a3b4fe45a4f4437c d8a2fa6ddab5ef7ef2f18f076d74e9e7d7df6a94 1 Stream_Fusion_Code