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   u ]] FOL:threads=6elapsed=2.571cpu=3.028gc=0.172factor=1.187zXZִF!  ]ŗXf1-)9\l ݺn= bŚ&3(/.G_Tw(*JP - }lsFyӀpV!R#[Dݼw2 *%;v3}Iaί4g gYZ7zXZִF! pJ]ŗXiɟ 1FE`空?ib7 bg-OiE{q['ܱlA0,fq8#4}YZ7zXZִF! ]ŗXi%9#Eq bM$*xb4Uo}rº!t-OwNR=8]d&MnBDH0w#3瘤si#YMM~wx%<_YXE=ev!a<Įq}6UqOLNk]Jԋ4F,qkXX/Kܶt I) R0p}1a%_^Xv0iON,:gIǫ7!'Jb_]nuoT[:t4Oh0$m{LUG8f:Tr:Zzo7HpnkusT֑*^nV w.eXDWh1Lr%EZ.4HJtp I%NJ[gYZd6fdd5001d33916de801272758c68ae6b6d89bb13edda0fb92271fc3d98db9fd8ef354f0e0f0aa1f  FOL