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 CC: 4T ] ZF-UNITY:threads=6elapsed=6.057cpu=31.708gc=1.260factor=5.237zXZִF! <]ŗXf1-WHIk0p䋎dh֨/+a"Oj1_E?YgmS%b/E;Kup5 uo˷;VewJ, PNTb]+D4Ɍa$!ڝyQTv-mƈSv8BD|ʏwK78µd9UIx֍FLKo%&@ErF5$SmnzihK21hTdL"Bc9\4qҸG!znV~$R5 lWoјdsύtX ng*WPѝ Ho|8筵r{R``B8 E# 5t"]N "l$*s#9|ugaeZAϤwvh^M*{Ʌ bK,*@ J4?#Ukֲެ*8&o #ך2x3;^>G`:;^21HSJORB dCK09VьlwL[6L+oWۜy|)S yVJ>ZJ&o+VDA!%0<㻏p~Pg"aDY_hC@hV1xEıfO< ygYZ7zXZִF! $W]ŗXi%J BtƳSml#ڢm-km% GkJAr#ۑ1f3gӲ7ia34Us0^SJc#9i `cY#{y /D6O6.;%lqv_!]SnqQFPbWԉQV.^Z"[3g٧ (UߙPd䍔$ oo"G-1 l[? <'grY qs)3iD#@Vf`c(VQ,Jz{ 1z-۳qIl1^AP{û U/yXLSSy:R@+r f7^5ѝOOƼQ9lx8$\c?A|W5I1oo#ETIq]{OL'6bܾX;ye&h @ͳ>/9`m= ((g9%kUFWgem~V+ATv `gag7_D>z_XP ]V!fx%MO񝰞<7YU&AK$om) | 2!I`N͢ooiNƠ