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 |p  ]/ GoedelGod:threads=4elapsed=7.320cpu=8.008gc=0.0847zXZִF! ?]ŗXiɟH)0%o/scS1? !䪭P/ŗ¢ ?%9~$6,vǼbӥ (C/$SVfm QFc/dQ:]#UUΓ6%zeS]aB +ksGf쟤b|_v3.j{-sY Li!zvtC^9HFwFJ1V75ǙgYZ7zXZִF! G=]ŗXiɟj bk4ĻMGC2d(V\Y*wW{gQJVmYH3}YZ7zXZִF! 2 ]ŗXi%L&\19?g;ӭ2^ CU!s%TybszDR;0^+P?84#7L=7yR`?٣&nc7돢Nƣ*UY}kM1L*eb܊ R3Q=mZ5[l">u kfS~nKxH# I/q#kLUA xKm6>t5c_0vYE"#Ne}yM@g }{]ȡVBiM~Bf\BL8@h!y&JwTWDP 'GeвRD5qm3q#/ XJz}+װbCRߦZ0PӻP`XwttU+P舦6jx?.J_O ˄Pim\gTq1a!ʝ'Ģ]X7dXA?3ߍSzU`TŲmGV<#i8¾,`MʰA,7 f9,DhU2H,FK?"ұ.|@@#. P$-AqaI|Mc$[ݚXI@SVq">0vX9|^}2eQ̞{wrUet􊀁ވ$n}80Q}S7C:Kmǰ=7BiiD ;ZҟꕯSdzSEh: ڪ;_4ZOby7c& FIYPps\p?xoRސH&qqqzew/k]؈. ($4Q vV W3jÕ+FsIϐn 疨)#kEQPBg𿚕`*3^Id(RgYZ6775490a914d3179267db9bf6e50abb5136847b39aadd396dde0a279b6a4eb62f8f2ff37640b410b 0dd0c229ebdd3fa7e8fbb950f962bc2d50f4e535   GoedelGod