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  d, ]/ Isar_Ref:threads=4elapsed=15.573cpu=39.400gc=1.820factor=2.537zXZִF! ]ŗXf1-q恈͐7ӺV 8'r@ʷ ZxTi>oiTi=78 od&Xa&BWڣϔġZF):ONwIH1e:IKⶎqdp2{QaioFRmHZE|h~mpd_y3fءAgc28qx= Jo$)D[*Ԃ4;#]._U\5\UCpW~tX0^Α;ɪ": GUw!Rg>ńujS341c=Y }Mn?AtpW1ĒQ}-!dF_%C8[VN O8ִot:h8/1Qw.z9UnT!luJkfEm|)&>3NCKDLr4bJU5ˋN'ODM=gW&D%p]aNo?D 5^HıT:@#IF̩~|g,WPY[,_X/J[hGFĄho} M!-TB Dee U%]C_Fy !'r!YCkcav~m!\OR%Ȥ, ]GwLf4t;Cn™nG^8ѡ[%x#FѸ>K#bsgYZ7zXZִF! G]ŗXiɟ1˦rnzx <@0+gML`HZ$ټPxza { P&B-jG m~c"tĈ㸜Pu@ɰSzdzzQK&B fzvMru%3?C bOjܯ]|젗k8C$P M@ 1X쪢4ܸLuV}N1AY޷QJj|iFeXXk2 w7A 3DX|q 7!,r}ebfnÓ_%`?jbҵ4!G*UeV fk^ċsajj>WI/gkSTWJ: I'߷n&uݶ"W}CL](hhH dɉgYZ7zXZִF! V]ŗXi%Bo.- =!ᬇxmcPꄦݰ94 SeQb*\h' Ba'pD;b:BGLW Ў$W>yd)]#]*wLk,t^ N%yMQeTY)eEBg8k?MG$ F;S69 U¥784s뚅+>݅WP0Tmd4/k \S?gBA= 5 .Kbl#%>ˋD"ٻ̉ު> ckRH|*C!ލ giPS&x[@]jeR-@: z(9ӧ H4yJ̕m@AhXKZ:+kĤV'+{`vNdzW<:h4 B*QulxS++X6K7W<zH +9юI e18,P LkZgzƗAUZʿลȰڔHTjc0vvpqO9}b>|t*yTj4O6*@~σ:{ļ5ZJw"Kvdk4xtHBs j.g 䀶d!$ B媆7 YF <Q{ Ai#,meMhR٩&+6)wWυ5\SOi3[2k8~9(APͻ[J萓#N=ᱮЭqEz٭$5}Mې IuώAmi֗c$G0,f%2c KQ-?Al@ݭ,5O8gY 5>9œ3n 5&BGvb&#DD׈|6_ jŢO(U1:Nhl!V#Jbt uM0d)0}yd.Z eHޝ9pm}䘾IQIH2`׀ݪ/70[3FՊ 3H{j[ҥ:1pcaVUۮ