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 DD93 $ w/ IEEE_Floating_Point:threads=2elapsed=18.360cpu=32.468gc=0.448factor=1.777zXZִF! OD]ŗXf1-/6vRZV"3%]r> =GX\sY곉 aEx:;w.7}u{&b57-"Z\\U@ػvCүE٨)yU23nsI.]h@b#yh;Vrœ qĩr14 .F$ӦJi\"4r70?/@&űK iԧY\lkLVLne_ 7H(`zsY[(k;#4V߈)R'(iwɼe RJ#޻Hm _<}bUE?O6"2%oO%4A0rĺ)Uj+ȓ1sZ)P8S _gYZ7zXZִF! `(K]ŗXi% -O[6Nbj^$&Ri7`꺈qnĚwqn?և LtXr&W׭n=J@ JM9Li:^t,)U<(zO^mJ g~d^"ֿS! X85Srx"5S6q K,S%c7KjVJMݭqLٺlN&0&Dix!cTwjjqm,Ls |DbC 0u-.Zu%Sunx~>+AYf{\=yؚ!Sqgؚ*|`siu“Vf漏NN*.w씴١+/NGB~GMU/7<~@j̓O6׊h|2qٹjdX`h9bA sT/w" N߮EeAqQV vk$wg 0_B6d (DvSp4;,,xJ.Z>(Psŏt qd=MgvJE hnn.[۴%D=v^>G-t1\$+ U`t , γ}m(×ef5"mD K43+ĴHSPFJ>+aSv]rGzw~0dJL# bgzO>vvaPݍJ8?X;A$Kkr%Ir!h0[JE>+y4T¦m{1]9tZvN 0fXT'xPdxR<4o c ETs?tZOy1΁oҴqlFob i<%z8XiD8