SQLite format 3@ .  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 vC l4 ]S Comparison_Sort_Lower_Bound:threads=4elapsed=7.920cpu=21.020gc=0.748factor=2.657zXZִF! ]ŗXf[&!9sA~2jP;QJ:k9r MƔAJSo1[k~0£F x6*r Xd]}D֣0Jo E' S #U;~ejƒ~_9:dwd=U)ַd<+3F@6(W%hbB*^iEP`rv| '0i }r#> f$e Mu A[#|>)0RVvNYȟn0uҌpb{WM4*T bgeG8:$ڳPxƆp8&NNAC +iY΀L"_je'e0ߡɨnl޸8ל6غ y Ft,oJgYZ7zXZִF! n]ŗXiɟFTp>>cP$qXLE r6_IY3h7yo+t׋, 2UfإT%w2MHb9ʆJxi #{f>Go] ނ]x--/3KMa3-ut38d-(9 W)fNʵ6n*z/gYZ7zXZִF! @]ŗXi%B|z/149r h~Om4_a怠 3fdGU,BȜRMKQ׆Gy*?u80!-W {"n\tL'8{2~+3b Luqw_z>+/}fDqxFLQr|>t&6M OF![3 -=T01u-XLJ""i~] zՏ.,H▜9E*1:rg85  AUcCuEQrծuyDgű\"c|w#wm62vC(#vk8s8cx` []xwI$}0qS Be/(n9:37dAa>;.1U7uōp|jQSOB;) =1UW?z~j'y"ݼw&0e^ވأwniK9߬O!GطVNh$8&V&3R :|o@tgK:J޶?J^J:^5, w/ iZ'h]r/ʼn.z0ډ2A|Z0U:H8䂸դ af`60 #ӆ|,&+XSw 8n>5CZ&iͯ3 )"p1dM_\f4TvU~-p'T۾m4jsi:Pkg釄JHԓ-Y1'7#Bv؉Fw*w)t$M< 0JS*UYFmmtP dV ;;ͧ(TqV\:4ֻ5q