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   fG d< ]/ Bounded_Deducibility_Security:threads=2elapsed=6.748cpu=10.592gc=0.404factor=1.577zXZִF! :]ŗXf1-/6vRZkee9!|xKQLFG 4t5B")f: 죣Urfo/ z)"'].\aEZAduL3@v Lv+]־x^bD$'PP7/8ɫI)Uqs"Dr991Yd$?z,d 4BvnjHDNWRXS.6n\[g=m'~ZBrbl%Elu`t#͋A%8+v^ iL}0@&?[y!o^w+٥r~ ݱ!:gYZ7zXZִF! /X]ŗXi%>g xgs Q$;!wr?,mNzL?m,lY Qc@~@H#_Ӗ)!}s;jsS22%zHtx[ 'ܟ;.im-^` E0܃XȉiM W C5q}lPT&f:P Zws VHҤ):wa6~)۩> iYCy# D/D|+tRDUfU*HZHD3gmˣdTV? , w4w 6%ulԩyb.2׍rP0Jlz̲O8Czw`OujyǮA5=RzY\ڹwڸOH-4lEj80n"r~ \>)qeVcgwR8XJZI-WsIyg5Fh32Tb-%y;#:4Z "-^EWC;Q((XAoZ CѿdSʷdÌP+f^VbBIzKugB4%q]M83w'?F$&k& g ic];bS*:򚃡sGC"S~AqSU>rH^_krOñgYZ2f11a10b0063abfc8bbb0a1ce9991c2efb844d6d665af98eb5b604629a3a80f1bd6c88145ac43a21 27625c6a71bbe28fc0d93a17cd760af834a4e6e7  G Bounded_Deducibility_Security