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 v' dL4 ]/ HOL-Cardinals:threads=6elapsed=7.058cpu=39.800gc=1.564factor=5.647zXZִF! k]ŗXf1-q恈<-¡$johkX2I)']8PIv}Y|!ͪ$!Ғ"D< &+^)LMa`Lz_':VC1'PjےhOs"Z@X:hqY`U!£V[W\L6Swͺf,Unb-!@SĩaUh"L#bѬC ݏ?;oQg,0h#>](W2,x| 5( ZJi HI9%pUX5(I◼q0^D!HеbGl8F "5X/( r^5d# ԰SC[/K/} ʻ߮'sHȣg+&N0`T7"LQ&}16RPTԪPAq0ܼWtBw]b٬eT!F~ۏv6Q|Aõ }3*n+ͅ.dxCy I#uJ&2* J1gKWY9LY62=bT+&gYZ7zXZִF! ; ]ŗXiɟ1?ߟt;9BP2CZz眭5 zVУ?G2U dų8+z}XF;R1gzҸS$NpQx#,To0t|3]{IMLvXAcbi3/uVr Ln/<ս7nN"ʠϡhzEv() 5 ߭9'K1!?N6Z(l6 rw>M$m>7#W/e1&x1t3^QTSqv)*gYZ7zXZִF! )R]ŗXi%#ALmyg%ގ Ew_JI!z_W-=*3dߝ[ {6lTÐwwrK2'.JJ-xBQLqy(MW&mxmv5 1VhɋZ{E9@u@J~IfgބFF/(_{| )ǬhE~ZV*Tc\=HsD[7~ЁoCF4O|sh