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 IE |\ ]% InformationFlowSlicing_Inter:threads=4elapsed=17.933cpu=55.472gc=2.548factor=3.097zXZִF! !]ŗXf[&KvE{!Gx/d ՜Y;[hmOd؍.x`dnIͩg:9VwEx q=,Ur:e bP1avGdž)p,tTe>T|ٍg 84ʊfj(XD5BcgBf t k 1&rG;#!M;y#f JtٸL0܀ݘ2?保|n,YNh ufڗ/˳ntUcMps@ÿ́ O!}dN,FssrQeo@$Y !f Ike'#k0I|ofp6H(;gG"**Ax(ɳ}>ǥ#תMJ&Įu7yX/Т5vCmB/SnD%gYZ7zXZִF! z]ŗXi%G̉S{+wJ [إ*%ewu*?ҺHH5{۔h$c>M%DGZ5ōюFb\dEQ y &EDP=UԺ&v4rwsHQ "Q^ ɹbB_D%gb, w"MU~ޒwۥ (8?1etv4}rʛqru~+tQlnu"߲sATUo%e=lH! /:ه;Tk|U#T\"(v?RX$MAyb؎ǬV=.>zFfdR !z:ťbFp%W/bܿB oc7#0IY",VQv!btKUt j7EߒD1-)͌nFq[xp|<LC] |EȤ|Tydwƞ ZDASsfbFtSŨc@n_DUk*b0%+$Q>)YwFd 5ri:BE46> 3_q.3q0M=K rqO 4)Ҝ4ڠ~Zy{{vo kzf.Ozž\wCbTe,1=AGZT;7V4_.k)*fCYBRɉX"羅=2xGjdf޿\tN(o-s4~~"`;{H"d_,o+I61(4‘hv[o5>wۂilAQ8n.)~E.yMdtH@OD<7>{dJti?qd!v?