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 S/\l, ]S HOL-Isar_Examples:threads=2elapsed=5.142cpu=9.500gc=0.576factor=1.857zXZִF! &]ŗXf1-q恈Cl68V< My9sŽϹـlڐ޽ύΐrP#_%#;y^$72,,k} Cx53$5N&@\>*~!*-į4^ 0gj3w'S$0+L p&U70Xy ~Η@S MxYD;*׺_K^C# MϕJ1S*.:t|~4*u)$HUty i@,Pvr|vêd_&eÇUeCnXVwTbF11ҟdQRt.TCd' IFT@S_kzٻ3e[gB/* pZgYZ7zXZִF! ']ŗXi%;c=pQ<А~(ڋ@7 vVon]f*oW P0;2aoƻ% :@89?cEq?@Őt1I$nFΙ;_$20S& M G9U ٩CpnO7pJM>Y.m3%@5CP  Au+smms1{eVq 2를ֳ`ՇVyu_?]Xn@**C #Ud5[y| e;))v+1܊@1B c3slP^u_Y)RgOm]:|vDif -G*>cO#' &Z7&@@~a3AFB0Iiv+{WZ/3nS=; :%„-sALp,`b*iox䭍"g gL6%>;