SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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  ; ;B d| ]S IOA-ABP:threads=4elapsed=4.836cpu=10.328gc=0.304factor=2.147zXZִF! j]ŗXf1-qN50^%6977{I? 7^9GPUp;nI8kԝ09 ;|}zIsGP@g{RÁ6Z0WjTђ-M-QJmL_MzǏi /HvB`j/,@Oalɟ*"JJ*zS2z{^Jr407~D(M}灑`.)\SL|s6GgYZ7zXZִF! 7]ŗXiɟdN;RfBۅQEPgm KA9~:5%~9*_ */hd6'OLwAP'xD9J)jpƃUGl;[t|ak֡&\LyBXQnQ|D7Ê4ѯRߝ܄A JS1>bS2>""^:P,D\UliOm5l =gYZ7zXZִF! U]ŗXi%G̉Sy zﻋ}QXdB.뜉37Ĥyt-GHm 0֒nZMB`F4SqP>l' 8J]yy}5G- $"?srҥxgO(l'zy39>FUYr{j+I\qKtiϮu# #Cpcj Tɧu@ouM{rD!: hī(oVƋ,@Hj~tEʩܵ{"/ID9$P&/LOdϛa>&.9yc75)cES lv6+0iMkrP%vEC( y;8;` :**Vĺ.ġHԩ 掓&6wkOxԍxZ.+3.Q|RK틪i|j@n@TCRU&]oNR,Ml6O ;gYZ46131774353795a7c56949589aaa494df1251f0f78a79cd9fdc2a13431ba56bd0a48c2d53a6a6920 db0b9f381bf5e847e834c0dde3ed15877688cc59 9cae5228e4588b9d3309077fedd4a26ad6b21247 dbca7a5292491978c6b041d750f053c1030210d6   IOA-ABP