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 ll \| ] IOA:threads=6elapsed=7.123cpu=29.020gc=1.260factor=4.077zXZִF! ]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K Q)dx;״gSe^.LN$yؾZ]P{*.*|vH s'QBmѿ X_FoDzL+lFMz@[:BՉ9G&8I*evjG6΢MjJi۠:`vMӂ>ӌӀ+.9o 1jQ|!Th/Q}f_svA u)bKzv tuGazCGFds:UWьTQ@fnȞIC:Gs;emnנ~؇NCp҉kɿH1Me?A~$Lr":{ 9K7OcD8`BQdM5rK|%ߢ-Zj7:4i[$wgYZ7zXZִF! `z]ŗXiɟdN'LvH۹$nWvYew5\5: Xh*V+#ҥN_bEaA;Tdx"> s;⃶ۥbC3{$vaF]1icUF M|H%9%9cxѩ!Ȕ-Tz*S~R Y:ĢZuY^MfH{g[IbThi6ѡ<-^7;~l[]xJqq-)TbJc8QKWzHeFB6 EXTQCRqwgP\G#f®1J\Bl~ ?'f0:~{;w8 ,gYZ7zXZִF! #^u]ŗXi%L['Mu)d[D/ n*c*ۥΞ3FfZ1X{ܲE뵮k ץ}_83;{!8 ,ƙ>>beF9IzYH!-w8BpJ4e#PH&Ma;҃YΟk͛EDVqZ5W Z/[ߟB#B6dܜ8R {%uthUTL*MRes: "o<,(.11x<5~܈Fl.PmPbl7͘p&-Id)4׮-$E1fS:|&]wdbc &C-hmWLQ`կ&f/CQf WZm`ɻN&ACd+ sǁڥ7%S{)דOE}3sd͚!qX9~}mQGIE`Vk2l \%eSh܏~Q̂K8RÜwSϦbWǀm3U̱Tˬ[~Nbk d~)?Taߒ>wO6%~b/xyާ8H4ȇ0d2 ˧`i׏g%l/0rhfl R{-&O>B5xu>^8/FogYZ2586b20c2b42e093a603ba6927939a80a4b04cf60368d846b91517e6bfc74b22aa4589a14a64f868 42798967e97a29eaa625d2ed2073e7fc3fcc184c 4f057e3de61fba0fc1a08d19e6aa1c564f7e5920  IOA