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  )1 T| ] HOL-Imperative_HOL:threads=6elapsed=35.919cpu=82.632gc=2.648factor=2.307zXZִF! /]ŗXf1-q恈1$1|-~xjC@c+幧 ֠|hmx]03ۙDFøp ' ?\t%¨\#d3Tΐ=Ep:!DEt݀;-mΖN}u?"Q̕'2H7!:pty֍񍽸ex'֕HӚbaH߽f0Ou7Y啫nwOyIO׳BUg>(m+fٮr"@v 1 HOL-Imperative_HOL  v-Sʐ)O\|KcCeT"G#6Ŋk9M\X(hr\6q]]eC9﷌BWh1MkU)G3_&ː,Eby|e>xktZ:e~$r Uot-f{ʛhV]@gKv,sl+-ro&Я<;*"W.xQ-tS\uT/vj7T0@VnMip#ntR3W]ٯb=O\&t:_ySda9 N|ʴ0i,Jm^OLKÛЗwg3&Vlnn(+1-=y0diTl̍)@Y+^2]}]'G?K- 7f*Z:Gz9p7+$ x ks&|9z8ȤRJmBZz  _GCgYZ7zXZִF! F]ŗXiɟ1nhЦx"n_8N]( eOtd7q]m"t}<FWn;<>͙촘I͂UT˽EW3%{oYV4lREh;E"@ZdXvK;Bm}ueTOE ~z?Tm0₵"gw)K(tCe.+QB,c+ovo Kr7TItuPoiǿӂu*QV({H*ca*#$_m..=ekM A8yk(:x8 z4gYZ7zXZִF! B u]ŗXi%Ed}w;r тG0h=Tʂs5l7|Y]Zp %? rxWmN̈́ESwi^q< ~ZM%hgս޲/3<[L5wI1*7jj;tޘo:iUQ8O9A=A*s{tI$Xq2FYfHU{ #ԗMdL6\ʌFELl,pN펗 J 8tNCVXtYdxJ iT~o@ZO99k<!>*=kX~эA 'o 񊍖6 ~i[ݧ05eM[7 Pەj\*mRŶTjŊ,+0yHx&c-M里آ T;^`lGfgq1-/WX+L`Rɣdt [fL9k dk8{) q?@Q~*})Xb[taq5 !h??Ĭ\^9's5$aXM C#z*+f?B0Li{.CaP,łN{3USO&a> Le,S2O) FexoIL ֞~Gۖ'=d.n2d/ `Ŀ*~0"8c='9yEHBP8W'nB%Vfo濑cUs %:1d}qq"ڐ*lw (pN\@[BXOFS5Hy)BS_} %` ~Fquľn*DeeZ-Jt8k w ZcM9@U'R@Ͻ`f/ld>2J=g#, y/ W[#ef _$L+`\M3v̖QN>*zS rq|X#s\ų,%~`;a>P9ڛ\ϦVz<.f(YYRr ?][>AMl/-E/D,jgʄVY\HwTk x axAS5r֪ Q̔gSPIr2H_%q "3Tàm 5$i'Imwr7͎QUyG/_NK 5rل|A}uEbGš4ortpg{o)/gA]>3Ca?gW764>ӊ%9I#|u$ם֘q7K&YQUwb)Z3HÁqC8Ŕ *PPv'1L[2c)=*#ҵeŞVĈp=岨Qn]IHRbK.%pVT64 7c5iL=\{]CPyB8~*s U̝Uڋ"IDL++Xʣ i~7B8y Mɏ@P͉͡A#L ֣l8*Y৫M-+0(iVOX+Gl7[I~\3)?'MTQ6Lr%w1{xx㶗 \_us8 4xcʆ-qCjKJ'/rÐoa;b~Fk&ܼQ-|䢴Cu^^y̏;&)n<4dƕǽ0 z^!=Ŕ']}>ܠÔX`rgYZ19e61a3d8475fd457b2563468f62d7ca23816e2f95c43f5c6a1a4c9b387d257d0ce0e9e4c84b7546 d01107edcd6213a1a6600255da677abaa24a1f97 811832a6b2c59f06298f225b4af9a73f6d01f3c4