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 **S $4L ]/ AVL-Trees:threads=4elapsed=11.063cpu=41.228gc=1.192factor=3.737zXZִF!  ]ŗXf[&(tw`)F~{Q$؄F;snzaf0͸BkTm2-'Ke KZ^[ :4|vD\zQ|g_H|_2hMC[wيq!®ΉN#HڳclT?J߸X%@DwI}nqО zk0.Th". x"'/Dy=f ">ԯfzX>k~9AĆ)F,.TQ_Uzk`q1n=Z矈H!F^<}8L&Gl~8 CրEHFד܈K\OP-v~VkM \s!T}9,[C nhg 3jڭ'͖&ȲU,A\&_q:˧#ag' ,8Wm\3B} 0gW3 seX `|Zf.jCX C?yz%( hv k5Ga>/fl, /] Jӻ@sOl>U(ȍ ߴ5eoe93uH _#SsT;}gQ;'ADe@mb5GANcx?仲5>&R%c|%Ҡ(a>AuU2y3H=5tuE8N {`L`r̷ۼgc& ^_l-M Z/]$FmCe-r"C߬.j21]lj_]|֔̎_aXeB^R )77LpŒ/A ۘMiy a!|Wp͂?BKV(bR3v3?-zLJs đ ^׼2SSB8noxB'puՊOilpS&Mv#(f.nY)Ϲ^'7"_Ä>> "s>p'(hI\MmR&2IDfza ۿ0b('9"y>aj:C'z4SQN>2xb^1|5E#7m>L lP$XC}s_R^25)bϢ-/Lۋ۴>6@6#Lv}J1j&1 v(_ !!h5L 6gYZed8408093a39bacfc5622df30ad08e908bfb183f4b4d09c9c1841a4f01c8958af89ec039a11204c4 f852689b23f90c1209b23c794bf5ab75a3b8eaf2   AVL-Trees