SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 ME $|\ ]% InformationFlowSlicing_Inter:threads=2elapsed=23.259cpu=42.076gc=2.736factor=1.817zXZִF! ]ŗXf1-/6vRZ;׬S@à;@<^>X@]L&F^g#p~)_(uVN*ңBe:N3)pGt\1T P t\rmqM/T[Z|$Cߕˁ*M}~K[2NnԆV@[~C.1P`-$ Nգ(ryGw :ҟq-aLKYpk'W<mMJ@*.K@sEx4S'|ú^KPir؟%cgTֵr( =>^*XM% l:el|1ٔM]Fl X=]w£Tns>kk(bu8I &X6g 9I7˥lDi7$ȶ!ؼtkSkOeg&NwQ98~ ;IXAH}+Tn{ n)Ԛb I)~e#GVcI)d ubE6!d9&33LG.i2+1ƾiw+w/rtifx4K!mX{H?(18cY0Wqz4dS49{vlt!o'HGL&iSQP2ئߘcg^)h_6+i*߉L _;ֈ*gYZ7zXZִF! v]ŗXiɟT>(;gG"**Ax(ɳ|L~191pR }, _8XW#3Par\gqqHgg _W⦙CYvVgYZ7zXZִF! ]ŗXi%;4bfk"&fL(;-)<>I&k;)nC(;0꭬8Y;ڵrNWab\ @ :Qo19>vqkGXM]H:?-/vXd%# > Ui~΢&'I)/1AdY0;.%2*:~aD/aՁi*3փ`R. W'P@o2D9[*Ip@ K4aAqPt܌:r 3X\EigwWλٸޗZufv䉮g[0G8Ѥ9GA?ND-Ekju~+Db :엵!Ҹ`h Wxu+wŻL 5<wy}$_lsk}F_;ETC}e:LZzՖQ tΞ6ZgP{,iGW?]:PY)T#'yY(,>;n=ҩIY;DM٠ü {#CtW'dQr$éKG6),s~Zt%%d.lFPk :rjGE7l^_2 5cA8\$l[޼0T~ϝ G*ܓC؃[h4ߕ1tě:iP^bu:]3jN|ҽ9EF?_:۔`Ơe,pldtΝIHF=-iWce't=u"vY1p]`܊CbwGum,xI(/CoRނcb#̳*j}Z;;Ի5 ѫr:ؾ)Uzމ6,eA__!~aG+ 2[]c%r%-?Dx/ ?y: FFze?hїU9Iɠzꪙrkuoix|WrBhGXiN~7 +q+@4#M'Ly%IQk{&VoNN{q F~uPQ{Z%¾d ^*1Zxo]&d4,0x̰IVuF L7Y'k/453"2\ 'hr̬Ry*~ֽi CvʆrYDLXUX([o~ x0Q/#6ԩ!ل,C([6tTSbԩ5