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 x t4, ]]HOLCF:threads=6elapsed=12.474cpu=31.764gc=1.920factor=2.557zXZִF! 4]ŗXf1-qN?dO*4 ᅉ(Xu>4X_j`pfb&Hdh6O1жWѷ/F*:{IzGy.S5p]jOrnx+CK"6 Hg%2v.U9 ܑ`VܼٚpEDZ_S\؞p{HesF^9Mn1P{G ,d5:yv sr8 }saiU8^Fbqc \XZ_ ;rѶ$ӮiŸz3l}D50`< ܙQXc>0Fj߰/ MA}e_G4bd’bh1&͠q(U'pwp2`!SMR*oZ0VR;0m^{`d&/֧g:ζ˧\.gøJ럪_%T[cx;q^" Z  QӻѱgYZ7zXZִF! ]ŗXiɟ>Ӈɇ9S2]`|}w we.̫-oi }=m~{ˀg;zdP${== 5d"Q(3LYG9s4yuWWCoZ Gb4fu]ðZw}_U2|Rrn>WU*}AtJ֏W3׋i7 h+Wᩤr ǖxiOo)mP^ᮽskd 󷠕HȃɆ0#3JڄSb=c3שQ~$;YZcc)y[4]尘h\+[?t43u;aDLwhxUOҽkDQ Ӽږ8˻e%Nz!Sك?c3Yk tN ޞ@3xJL)3zOlPװ7D"|dhoD2,,u0OiAzJ'SjЩ vD(9gRߢEPJyu0z#0!qH-Eu==Up&Jlrs ߺ=$̬Z)3DG*xۖ7\r^Av~/ /LbIlr0mOU͠Vt< Fr۽]϶kOмVTKa_weăl'p&F\-!~Lz͆E{,e#tkͼ]X)*3p`q)\v6TȟXJpH\q