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 C? Ld4 ]/ Inductive_Confidentiality:threads=2elapsed=14.819cpu=26.700gc=1.620factor=1.807zXZִF! ]ŗXf1-/6vRZ;P| ^TZ%DAևOt*;tBq[;viDHK9hSKXهd ʷ~VÝEZ)|-<ڔNI\΀2܂nDߊ#gYZ7zXZִF! ]ŗXiɟT~@D yA, ݊1S'P <~Ч1#8[^}(y\hF3Y'trkx f2ƒJzEv8s15ӽT8X ==]4D5%S>ŻNLuВŝ寳?rBCQj0C5滄3"v 43Œ0hhR/t  (=1%^1b%:o;g-"RUC0=4WW _ 0Y4ZΣSr^ \V/ш8qVosn^P]}hLvC \{Bodp.tI#33{Ȟi$$QT0H'Xj(z{r ' Y<=Xp :h I>LCM 5d?K}8YMuRa49I6xkY'G^] Sv==_vn"5c7+9ƈgד]@Xl/jx6L0BN`?k6xcП2Bq%e3R,W !ҧ3UZxDi ](0'@?VTHPK<` 1-*G}_NAPH/:QaGk6or¯w0&; z2mZ2 KnrvVlGv~UNrigiiewðoFUP@YCM~yrYDj]ѷq"D>iU( E]jz+(&R0J;W(zJRn9ƹ RԢgYZ57c1f37b11cd6d3829822026fd3fca6107da918479d8e835726df87c7b301a8f091eddccadfabbca 3a4e921837e7e81c84e3eeedbf2fa8cd3538b9ef ? Inductive_Confidentiality