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 |3 < ]/ Impossible_Geometry:threads=4elapsed=7.243cpu=16.388gc=0.396factor=2.267zXZִF! @]ŗXf[&2sHx},W,;:#-`3cDe$_wh;eU5?J:'߷)Pp bCvJQ;s'des *b 6`*-~(GY.gD'y|zXz70+HQ#VJzĽzȖ#s -j:'i{`36'/>WnwRKAn%:Uodbɋ5//_q D , &tJ2E6'X9pgYZ7zXZִF! [K]ŗXiɟRw`5.@!azH>MM('J6޳nZf ĚKkIlj"g\Uh}YZ7zXZִF! :"X]ŗXi%Eb⬗znj_NG.xB'(ܻh I+G `6_zoY/pR!ëؒd=ZG =MHa?!D x(4tQh!6Ssx`Ÿf\`ָy\1Fo(kHȗU?$C!f!9Qs'O%_ ~ؗLZD*5. 7maV`EVˆYZJOtl"ce8!]'i( 'd=X~lO;\lؖ[2?Rat΢d5{,UƅR%|Xp B1t9ڶÆ}r-\}?S&Zwp0ŅEB)e߭.6z )Jbə 2h' J"x 'Ky̴jLWtzDiGnM(uјV=9ZDd&Ɲ?Ui#IӍ^f96ebYSu {x=v[&*Y|%PvDopF,-mD8wMeel nq%e>#?ʦw+9Q,uVUIi&E)6,pF| fhh*U}?}a8T:㬤> [k@ 3rr].oQcQhّQI ХW[ X2Zh/F @_+8F-a[ dOm