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 WW& L\4 ]]]ZF:threads=6elapsed=12.445cpu=45.800gc=2.904factor=3.687zXZִF! `]ŗXf1-) enȈA XR„, oWV1_ծkf̞cu-]>Fm QYydv/mrj/-BAo+9-o"- GG~Hrws=\-Z䤪\.b##%B+34Gϻ%~püNIM^ h!!|ɑK>!a>ځ\߶-SF I@f'%cBɤ0V ӭH0P{3zEpazW;ٵBo$i(uǷY!U {c+s{Rc\0 U5yYz}(]Ør53gYZ7zXZִF! &]ŗXiɟ 1FE`空Qtaf+5^G1nރdK)YzTDtV1Cv 3lualzOi~R}s?LG:|j|lm[J}MQp,V83*NTT43>/zSJPOOĄCUޚ;^J+JXD0|lٖZs n2 UU3I$d|}zG܇"cYzqJƇB3BizB YŰM߂NۑH1kY3Nc^3j|a!|[Ǹ)S##B)8l^QFM$+DgJQkVӕZFwT`-rGF#?C@ ;6SоgJF~IZ,j} >_.5C@$ը I u-;%˴0 +W-)w+' )##ec)NAgh4*:FOW ̈́Dy gYZ7zXZִF! F]ŗXi%G˜R"? mbbAArWMWϠpBBkCe_vc.SUR0 $TBCyvgX$Q)e>w`(Jbgow CV?e"N%>:&Ńd׷N@p,IkDQ/1ٞ$c'h=\w^bgyg aJaGOLB.-Nu_@wf0 ZhS+ m+Ȋ- HzqZAktUk"PAJGY&4h,ÏVE6˔hl v)箯qS?5B/tů&v?P0_dy:LƫPK6AK\(nb vo3a-Zp&&2!,X)~zl}F: OOb ؓCR$4Zxh8 %j=#DC1uڕؗ MƄlm` !8^KSgٖ}8_ηвN4 {>tp}a6H SoO}YJY%'{:Rfחһxˈb=!Jۓw<{~OcYx.=ɒ[,0T\hkD[t,u+@\6n,ȵn#n+2V#K3zsoXm@'9Q5S<iD"w3U&'z^fp?58-]isY.P<\,_3DE_wc*m/WȀkyƆ1 &;Z /xb%oog{?> _o:W:ތ+ 1T c8H> ί