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 k1 |< ]% Stream_Fusion_Code:threads=2elapsed=18.468cpu=32.832gc=1.740factor=1.787zXZִF! %95]ŗXf1-/6vR[]`^O㍌GσCUƧZ0J -,&yS LD˭1]R,_qfE7; A疩$ Rv+d67ϛ]s/)FNx!хFJOi-AU/ ,s<K!H[o"_,'"`m?$[Fmy&u'nEQ Fm=Xy8iƷ# ;9⯝fMJ͚A+A|H\qP@S{34p yW =8BҤrZ"*S6FQE+ WNcHi͠BD65:[x MY$~ : SQ#Pdԑ ]tə O)j) 󰿿 M W0C#ţ麢-Gxc3=٤yi? jgGK IaY➈hT D/X5-[9;#݆) gl(wNQsoFQ]m>ICؙ ##J^ 'hDT]$loJǘePhR>noLiBfK/'{Ƣ+^m?:6)re3IfuxSO8f'JHgYZ7zXZִF! h]ŗXiɟ ~7m`X$";7GI֑dt,+J4"eBkY iw2eIqjR7f{ս$g8R2ق%)/{G9nd'gYZ7zXZִF! j]ŗXi%>gv IXV+i3.ᳬ/wNw&{B9= ^{h#{Yiso1$1nl~4DbT״\D.4gF"WdN4&ONȚ߲g ,A]x304՛ _TmEQ/o*~ b;_\Ty[93}MV/z Vo vXw$s 'Fi+г'E).l:6d%0T<(:RX9*H s-<ʜ6䆏$jI:z΍e9HO/DmLUu> c y0.nQi4@-aimgj?c] 'm4l=c"R_RaKgWR:?qK,lxܤ cNcs*b6+'j;=wf$ǯ_;-ye/HSGxK@i(GDca[ 1F $DB 3^ǩ"Lt`:dCm_S K]ZKx8' yuP0uAND/mƩ.YDxSC[-@iM.PZJO0(٤ZkpR=tVْ/.a0k F-*`6g*|V<$A7!Z}Q/p"f}Ny*`jLlwti죻l;@R.@nj3im' k8S99 ~Wzs Q"_5#5\inƣ݄ns,`zŸJN5I1+JGZJ'䗻8[!1w@a鄳w<^' h $m]4L׏*j&JAL~#ߜa.JQzJ'ἂl*qK:&iP%c*.l\V(Ih88 ? !Q6]zۘ]+".2yڝ~ B0AE:s P Bʲ*``!?Ƭs9W,{?a]7Zős|Z"frCr׺.0 q ؐa Z%-a/o F*m*!8T ȻٲX'>; [ &g)#f@G@X9s~3]$`yN}No hMtu?s4$#.Ojw0 7bp\Cժ60 j0p[[ٵ\Z9ow]:eAڂ~#妣ka}l V5ٮŽ%A!h#qg/א*I!tmz\E G&gYZ64b3d8c0fb9991a796e41360bb70df3b0a14ddc3665af98eb5b604629a3a80f1bd6c88145ac43a21 27625c6a71bbe28fc0d93a17cd760af834a4e6e7 ef4af5ed7faa41a9d8d5237b72eeab989fb81c0b 5d78552cb887983b70c3b7983c4c3bdb3374a7e6 61b574d0d2a40fa9435731230d8e8548d17a2f9d 1 Stream_Fusion_Code