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 *' |4 ]/ HotelKeyCards:threads=2elapsed=6.356cpu=12.084gc=0.292factor=1.907zXZִF! ']ŗXf[&qAn%?x$]lIu.1uO'ۺ;H2$g,XILހ'ڂū鰱D[u2^T08{J՛UI-B,# i@j}G;)@tC㶳J淩%T{1Snl{(![^{ewVRߢ-;kI4J{&lT_n fWbI(yvI#&@ggC=Hfv#eN ^d} U/+ry8S6 uU=+DMI,Qr/@dq[TzVa,ؿ`HAq26]0rd kܦ3EVgR)-G=gKJLjgYZ7zXZִF! ]ŗXiɟ1˦r p0+7bOa\ AT0_X,r cBG{i)Y-f=MK6pU]sifV-P_LJ,ۮ0+a SEk ^?;wE}cc tK{ާE7Y a%G ,orngYZ7zXZִF! 0R]ŗXi%>g6|̋q MDPt H#M)Icx}D ƨ:ؒR5_L2%$ХO[ 1Ng2{`צueyZZ8gZN$_T&6#vAW-ĎRjE !ӓ0Ү6M}}1fl}\ʰ0i\nݣҖ~Sxz!'6]KϓM ž9 kA&,fdT'PS1%y7bO3vtգN@O0<̻}QTfEiҦx ph$GiBKmxƛ4