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 ==@/ l\ ]S HOL-Isar_Examples:threads=2elapsed=5.772cpu=10.748gc=0.776factor=1.867zXZִF! 9]ŗXf1-q恈Cl68V< }~ ]شGVP: 57b18m/]n9Wz( ,~(UVBk!(/V?DEƪ  feP0}~ ^aKxiЛ,+dPwTINsJ[NuJ[Ƈ! T^cSWi{2 >Ƥ'T/3u9\Sh%@T0ʒ߾!2 ƇQS kնdhݗuӀ/J;>sL {߱gYZ7zXZִF! m]ŗXiɟ1GBSp26llȄ)sSd#a$^R{KR? PnKll>EmFC>[vQS&i?c^ptY+Ћ5Eh1Tar{'@[HϱjsF;"5yY?kjVIȤؗ =_h$8mP\b$V]h$E',* Fkv)]n @"E ܊qnM Լ;UbT˕🮁{?yC MUQ566 +aةU_WoYB[!\Po]n"J7)Xo3wj^  Aa _/ns[T\@܉wjW &pݾbfI ۢVVb1.'6kﲪ넞NO "X~]\]W->7)kX̙Ȅu*^~l0j/߼lqqhC&@ړ"8Di wq D&Ѷa.jm]̈1YH*(푫MU')<-U,T!+es! =ګofn1U@]f gYZd21ceb353d83878015ef652e065d5856b4ad644f848658d617e1d31408814b70d854f0969b4d3dd4 982c966f6e75dd78217f02ee347fdcbadf6f26c2 d917d16ccc38ba570c12297f3bb3196d70f93486 fad2f45fca798bbffd26499118f0c486c00b4db0 / HOL-Isar_Examples