SQLite format 3@ . YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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  = =@G | / Bounded_Deducibility_Security:threads=2elapsed=6.459cpu=10.644gc=0.376factor=1.657zXZִF! 6]ŗXf1-/6vRZkee9!|xKQLFG 4t5B")f: 죣Urfo/ z)"'].\bƤ3\@% $[,z  ?毿<17Z-HΟov-dH;꯳jkG~phtxM8N8ЌjaUzQ21sG:@/d3N7sB|*Yp 1\Yߧ9q?<#1mw:yV3;8t?ej-y3l^PXbbeҏB$QgYZ7zXZִF! ']ŗXi%6y?z%{w~DbAC[F^ βu^B.R'DU#lnĤ9h ~}G8:`,/Hk4wrס*̐S%CKuHv;y VE)ma) qsnr Wn`xh>RB*GleK$HVhACD%lH‚$NE6Rlƥv}LQ4^]GP6eCk xڹQz^T2^8AmaTmc0yl^X/6*2o7y"粤-n'>_Ȣ ]b^$ZJ|?f5U4F F^GXRB%:fYnS 瞩 %y H$^paԣg-as[p͞J[}y՗W@{vw3< +]do70`yvR_WA"} DےgqZ]fhuB"CB|sXMKov,50Mqn7 ( bp`*n,)^VE: o)zALp&ݎk>MS4da2'Ns@IX{(`)B8<tѼ)L: hׯY6Yu@|\,5pg2&UWMΕ-Ćq"!x&.07>IOM[\a5"&uM+G l2Ȳ';-͢.E@^] ` OgYZ1376496d85e2590a0550a1eb23b7f113459afc83 65b09f1bf99494bf497397a3e2a7797044903042 7d74d2dba55f7ee3f2fa00631a30d95026d60047 8b094ae5dbe82fbb05ab94e66ddc09a16a2d962f 8cc8ce5980ad6db76c8cd717f74f3569565fc59f cff258547d6a6ba9d6199a6414c0991c1bf1a7cb dad9fe722c0d4a3b9bb1c1239c6c4ac4cfc6936e f12186e8516b78ce6048748647b8cd8788651f79238e7eeb3573fe8b8e9bb4deac28a0f3388ff51b 5945815fc19e2396c5725d8d6cd70bbf961a3d4c  G Bounded_Deducibility_Security