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 ii1 LtT ]/ RefinementReactive:threads=2elapsed=11.307cpu=16.352gc=0.560factor=1.457zXZִF! ` ]ŗXf1-/6vR[O!vpa'tAl0ׂs,G!`ztԓg..  , %1KHaPqd5kS/6X`bi!<8CaV 䇼?L}R2(L!p4BTt\۱/Dq>BxpCZQ0+p(oB5 dtB?8͢2CfDmhWwEM1iE?Ao/*v!oCKcñ V!@Oa_gYZ7zXZִF! q]ŗXiɟi%3wJ3Oуq;pv7؍c Į1dP~9[*%0~am%m]A#A7!յApNqgYZ7zXZִF! Jsc]ŗXi%>g*f?1j}?lӲ \|9 }hd3>x-˗bG:D7uU7OLJSP #@BkR rX*lWُN|c6Pa,ω WoAimF5@p)G-@:t1\: ٤&` }( V6'W,zAm@JB4&njaxBfbXPP tHN 1b`Ő_lT!/UCrct˓2Y&S poWCFJ,wͳ=XOg1<0:u@ݦ_fݎ0Ji7pq}#ÕNK\tfnf{1U럾&}ochjI GolSZ?i*r^ @'Hq4iaѻi kć4wf`QV/1=g?("|ߕń݀N1uq 2 ؛z=;|5tˎ]qhzOMSHO~Tb*eNnɚM}++bt"Ȇbr5\W@VrÈyw΍a ©  drIZ[#XONr2vNxIJ[}r܊j`<2.