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 GG6 | ] Isar_Ref:threads=2elapsed=9.158cpu=14.028gc=0.888factor=1.537zXZִF! E]ŗXf1-8>l޷VO +҄RXۼfxAayk$]@MkӰ6u7%Dw, AÐ&Q1l??%PCiTSwif8A@6[:I*GOlA+FlC!a%NR4U. " u}Ro)XYP*v bҾOC ڜvk!|o}iC4O;fΰr̷%^o=3ڊ{;/i )b˳O磭?B'oVB'"hC-6".R >[@#sJmrpE.7yw: jgYZ7zXZִF! 96]ŗXiɟ]O5-|01 Wg9Ъ,~{nxwY \f|=1QB=f/}֤w+9kT&TGwf-`zuXx"|\?]/V'nnfgWH0A4*3 L 50Kܬt\[oψ3 xbz%G<+f@*-2#)$MLIӌ>2jEF^xE޵cs:ʮk'-ہ7?m25A&)P_uQ̨uſgYZ7zXZִF! ,]=]ŗXi%;ŰA0 pA[(xRpfj[Z<JV9dt(IIp ʪ5֥Xwp. NQw 7>ZK~Y]o,zLELCe~T)ҙ9pIR+GMNH=a'н[lϥz3r&Wkhzfީ3N/I׎yNAXە3J>*Y?:Ĝ?zzhnNu]K%Wg(b J@KkZqя4}gUЧȩB-[6pv( SMSXn`(iJr QF 3c?S`XO\4S?6p({`_oBs!<fAP0KcWr!~ag1HIgp`Mo=s@v tɞt< ATMw{WIOycA!؂u޲HM-￘khKlFaJ|mR2xU/QoM]#EeDWN{9ǽK+&ob-8/D2.w鳜8]0M>¡06Gq &2}6ZΫE@ \/= jUL ĺW:M1):ڒ=z2Q;[zKX8ݱgYZc8796446fc8e0ef0dff11ed941bbfe7f1296de65daf53072a7b7da07dacaeec0891eaa6642c159c2 e32a9e161b57c989291c7f5fad06918aacff06a5 acc1a01ff3c9aa58d6357f601c4748f07f6c9558   Isar_Ref