SQLite format 3@ . BBh77otableisabelle_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 '? tlL ]/ Inductive_Confidentiality:threads=2elapsed=14.671cpu=26.404gc=1.492factor=1.807zXZִF! ]ŗXf1-/6vRZ;P| ^TZ%DAևOt*;tBq[;xM]LZ ʠ%RlbH6Ƚ]3qU"kyX / +/@_VAu y$ys:ۭ͖x~7e2h%b̓"Z[ F{?Z[vp_mX& ȶC gDCS!\)ppmsR-XSZ8neY~Rh kH:Qr [-bh$=fS@&)bpP>}c̄+{.KkKWl6eLɂ98Dd˵4k֤3ibZ\KԘ2gWEꁋ~jN^{ߔ.+]e(gYZ7zXZִF! ]ŗXiɟT~@D yA, ݊1S'P <~Ч05+~`p5;DQAv\wcl\(!,Ctup zJBuKw)_S^Q°avZC$#ms*^<$Lti@ֹ÷aɡېaw_g:wDv9hɳ>ot ` .c/]]"~iU>gYZ7zXZִF! W ]ŗXi%93,m!:7iO$d t|:N n9%ya9Ac ྰE`4yQ LGV@ւnw! AّbLI$ :.!@kWDmeU`~J[5%]lznҊW%PX)\sܵTb,>*YmВ˞R*{Vd=١I8wSz%+5iipa7 e#ǃ{B0SVUt%74ثTAܣlK4H?6<)P=k;iPٙI?o) qҝQ#Hhz@Ƒqd^)T@+w2Ag~S:F6byýSBl1[h MS7zBi Ţ'`Jqd^ T~R1 -gSlin.k1.ZVCt`P ErG5,Pb=F6Gc&Wa]X8@ǏCf1Ai.]@u]4ԮF8TyCbvA!px Fb ZT $ ۬qG6M"T=f)ClqW69a2(߃ސA|onӹb)_ m>U=C|9.`^>Ra @Vϥlhea0qoJop ܧd\Z+v$ʌ=SK+! tx+ <ĭo_ ZL5xޟ!#Go3"Co< {>gYZ79b1d40cb7deccac6189ea6004fc8b834ca53c6fa86c2421cb3bf965bb7b88ea7ffb63ae19b7c19b 246f6e81708adcf47b424e236c7a30d027d9b852 ? Inductive_Confidentiality