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  # \TD ]%]UTP-Toolkit:threads=4elapsed=22.103cpu=80.064gc=2.168factor=3.627zXZִF! &]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMRb,[&pYWC1E\ Sŗx{wwU!&@Ls՘}az~F # UTP-Toolkit  [$w  Iv,9U,6򍍧j݅no^imHAلuF}h ̟_UDC˛sm)U|0rh;'͹f};;2 Ha\ 6$ %:K?Upc`O;卓bBZC[[Ui(CfpG}_&%`Oj ~C2Q|5Ǫ0c*^du>[#^eq-8RȈGwJbo~ڋ߰*;JTn{ASq'V'<2h2Rk7kpq `|J\: S\jEcX0~"U fqȵ\ ?vl%3la S˫|ڷk칤Fk;(1]=U=wfixI_S XՊdiAÞbz$ `̬jkܔ$)FY=ve awlYO{;{ E"9uE&i:\. Yܹewz2o&3Ms=)PϦ8a|!hXY8A2i[#)G3"4>3'PU$'6iJ ךv<K ?)kS;H}$~{:CKjz)sE5i}eD,(ڴZ A@ݺD 9=M*95 ub+ M>FֱgYZ7zXZִF! ]ŗXiɟ.z+ j5PUNז뚢l^8d (4PF~IBXGū,'|e,%lp.jq!,Ķĭ?PTu& Ȕ츊`#Lo~$ ^Gc?b 2#xfH$LK)i^6Y͖v׈7w\[#Jy*wQX4 f JXn"ȫ1e@dP2CsZ tvzrË./h aU6 +tnjDB- (d\K|F"}];L \gq ]t*vw7[^czQ~q6R`NÑoXZv3{N]Su;4CHn@=&6[I~Գ_qg'֌ UpgYZ7zXZִF! ]ŗXi%GgIf9-XƉ ͬʑgs'Z ?XM67h!kc;jnLTz]'$C|9[uDS]HY|,f?.5dp ^z|@c';s(#s'`I"PNUN,ˢIQTRD ѩV]O@eQ+m5-#Sb̼x='5~?s Zx+1*nI6bM3v) s(?0|y7G3y˞&z.#^;4ZbR5s}{"J` ^'<%>Fe qpbZfgI7qhȗMsOYj)q8ra 88B*Ri,'4&H5h&je8~`kFԊxeeve^hk9":k"x7qzHZi wox@:[m &7;Nᚸ& xn-hmPNřԞ퐽wEJ?` )/mT7a/Y_\،+zu..[ hK4( G9iaKEkj.rZHqJ ?XbNaD'(j9II/r `; 9:}w޹YF"CxK/ ͐-P;$m4[&='|~|㈉fSjq&(ώ;$p=MVO~eWS^{ h_͜d8qm?zog[/&IU˶Uy9`n cu䭸L!yΟyJjRM{py8Pj8G-TBs ̿)ZIv'eL3< |R9C #,I1m7 ,|ln:d(.+&/B[5T]a.v3G A xGڰZ3H@ᓋ?)fH_,^P$bOhe6ZFk|3}ՙ=|1%R-~lȜQs0 " r2#wCD>B9ccUZڰLyqj>]+?!?@Hj59 7KS?m7]jnZ6G:p3  m/lYiL=r\a.vCI%"sR,N5T|b4.0!BzTxZ&z|7Xf,"ȱ1Q #r1ʜRp-z]&kY{:l>8 Iv27ΣHz;!  &JQ.j,=uI +? 3a @cp7}l3&3Omd؂+2b٬_ӨS dځ)QK>=^ /[X7]am